+ [2016-12-27T20:43:08Z] Sayona git commit --amend "mycomment "
+ [2016-12-27T20:43:07Z] tobiasvl just be mindful of rewriting history that has been pushed in general, so consider yourself warned, but if you're positive nobody has the new history then it's up to you really
+ [2016-12-27T20:43:31Z] tobiasvl Sayona: no, just "git commit --amend", an editor will pop up
+ [2016-12-27T20:44:33Z] Sayona thanks

message no. 160080

Posted by nedbat in #github at 2016-12-27T12:06:39Z

noob_: on IRC, it works better to ask your real question directly. People won't usually volunteer as experts
+ [2016-12-28T22:31:40Z] helpD hello guys please help, I have mistakenly git remote add origin https://github.com:andy/labcreate.git and git push -u origin master but after the command, realized the repo url is actually : https://github.com/andy/labcreate.git
+ [2016-12-28T22:32:41Z] helpD when I then corrected this with the git remote add origin https://github.com/andy/labcreate.git, it tells me repo already existed which is FINE. the problem is when I now do git push -u origin master, it tells me repo https://github.com:andy/labcreate.git doesn't exist. For some reason it is still pointing to the wrong url. HOW do I fix this?
+ [2016-12-28T22:46:29Z] hightower3 Hey folks, I don't really understand why after opening a pull request, further commits/pushes get automatically added to the open pull request. Is there a way to create two commits in a row, and have each be a separate pull request?
+ [2016-12-28T22:46:55Z] preaction hightower3: only if you put them on separate branches
+ [2016-12-28T22:47:10Z] preaction merges can only happen from branch to branch, so PRs are attached to branches, not commits