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
@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
