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

Posted by fission6 in #github at 2016-04-06T13:00:12Z

there is an open source project i am using, it has a pull request i want to use as well. the auther won't merge it in, whats the appropriate steps to fork the repo and have the pull request come in to my new repo (ie, emulate the pull request)
+ [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