Follow

frick how do you edit a commit on github you haven't pushed yet

@DataPup locally? git commit --amend <commit_id>

<commit_id> is optional if you want to edit the most recent one

@vahnj uhhhh
is there a way with the github GUI online? ^^;;

@DataPup I'm sure there is but I'm not familiar with it v_v

@vahnj guhhhh

i noticed a typo after i created the commit am i really gonna have to make another commit to edit the commit that hasn't even been pushed???

@DataPup where do you edit the files, and how did you commit it originally?

@vahnj i'm trying to create a PR which turns the list of instances into a table and adds a link to this list to the front page when you're logged out.

I used the little pencil button that appears when you're viewing a file online

@DataPup I can't find a good way to do it in the UI :|

As long as you submit a pull request and let Garg know he can squash the commits into one change

@vahnj oh wait I've figured it out... it's a bit klugey but within my branch i'm adding multiple commits >_> it's working

Sign in to participate in the conversation
Awoo Space

Awoo.space is a Mastodon instance where members can rely on a team of moderators to help resolve conflict, and limits federation with other instances using a specific access list to minimize abuse.

While mature content is allowed here, we strongly believe in being able to choose to engage with content on your own terms, so please make sure to put mature and potentially sensitive content behind the CW feature with enough description that people know what it's about.

Before signing up, please read our community guidelines. While it's a very broad swath of topics it covers, please do your best! We believe that as long as you're putting forth genuine effort to limit harm you might cause – even if you haven't read the document – you'll be okay!