+ [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. 130394

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

Now, I can force it by doing this 1) git push origin +branchname but I am not sure what the consequences of that might be
+ [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