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

Posted by maxmanders in #github at 2016-04-06T19:57:02Z

I use `git pull-request` from the command line a lot. Our internal convention has a number of headings in the PR body. Submitting these headings using leading '#' fails and the lines are stripped out, because in the editor a leading '#' is a comment, but in Github markdown, a leading '#' is a heading/
+ [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