+ [2019-06-18T11:03:25Z] deepy physkets: yes, the original commit will be included. here's an example: https://github.com/node-gradle/gradle-node-plugin/commits/master - I merged a pull request and you can still see the commit: "Use gradle proxy settings to set-up yarn and npm"
+ [2019-06-18T11:04:15Z] deepy magic_ninja: sure, under settings you can enable it
+ [2019-06-18T11:17:26Z] physkets deepy: okay! I was confused because my commit was added at the date I made it, while I expected it to exist when it was merged; so I just had to look at older commits
+ [2019-06-18T12:53:00Z] magic_ninja deepy, thanks, that did it!

message no. 173551

Posted by physkets in #github at 2019-06-18T10:54:26Z

deepy: no, I mean in the master branch of the primary fork into which the PR was merged. Does it exist there?
+ [2019-06-19T15:12:32Z] purpleidea Hi, I'm getting an error message when using `hub pull-request` it says:
+ [2019-06-19T15:12:34Z] purpleidea Error creating pull request: Unprocessable Entity (HTTP 422)
+ [2019-06-19T15:12:34Z] purpleidea Invalid value for "head"
+ [2019-06-19T15:12:51Z] purpleidea (I've searched on google, and I can't figure out what the issue is... It's mentioned a lot, but not solved here.)
+ [2019-06-19T15:12:59Z] purpleidea git version 2.17.1