+[2016-04-06T19:59:20Z]Seveaslinuxmodder: sorry, no idea. As I said, I don't use gpg with git. +[2016-04-06T20:00:10Z]maxmandersThough 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]linuxmoddernot a clue I don't generally use headings in PRs myself maxmanders +[2016-04-06T20:01:07Z]maxmandersNo worries, appreciate the input :-) +[2016-04-06T23:21:25Z]oweni 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?
+[2016-04-07T08:39:43Z]luukthHello, I have a (little) question. +[2016-04-07T09:44:15Z]Elysiaare you just going to wait for a response before asking it, or actually ask it? +[2016-04-07T09:46:19Z]luukthSorry I was away. I want to remove a commit from my repository +[2016-04-07T09:46:33Z]luukthBut when I use git rebase -i <commit number> +[2016-04-07T09:46:43Z]luukthThe file is just empty and there is nothing to remove