latest 6 messages by maxmanders
+
[2016-04-06T20:01:07Z]
maxmanders
No worries, appreciate the input :-)
+
[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-06T19:57:25Z]
maxmanders
Any ideas on how I can send headings in a PR body via hub that aren't stripped out or interpreted as comments?
+
[2016-04-06T19:57:02Z]
maxmanders
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-06T19:56:05Z]
maxmanders
Short of raising an issue, I've exhausted my Google-fu.
+
[2016-04-06T19:53:31Z]
maxmanders
Is this the place to ask about the Github 'hub' tool?