+ [2016-04-06T19:59:20Z] Seveas linuxmodder: sorry, no idea. As I said, I don't use gpg with git.
+ [2016-04-06T20:00:10Z] maxmanders Though comments are legit in a PR body - I guess I could e.g. include a leading space before before the # and try to submit a PR that handles those as headings. Thanks!
+ [2016-04-06T20:00:36Z] linuxmodder not a clue I don't generally use headings in PRs myself maxmanders
+ [2016-04-06T20:01:07Z] maxmanders No worries, appreciate the input :-)
+ [2016-04-06T23:21:25Z] owen i switched a repo to automaticaly squash on PRs. i noticed that after squashing i was able to send the PR again and again. is that a bug?

message no. 130393

Posted by catuca in #github at 2016-04-06T17:54:00Z

I am getting non-fast-forward issues when trying to git push a local branch to remote. These are the steps I am following. 1) git checkout master 2) git pull 3) git checkout branch 4) git rebase master 5) I make my changes on the branch 6) git add -A . 7) git commit -m "some message her" 8) git push origin branch
+ [2016-04-07T08:39:43Z] luukth Hello, I have a (little) question.
+ [2016-04-07T09:44:15Z] Elysia are you just going to wait for a response before asking it, or actually ask it?
+ [2016-04-07T09:46:19Z] luukth Sorry I was away. I want to remove a commit from my repository
+ [2016-04-07T09:46:33Z] luukth But when I use git rebase -i <commit number>
+ [2016-04-07T09:46:43Z] luukth The file is just empty and there is nothing to remove