latest 7 messages by physkets

+ [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-18T10:54:26Z] physkets deepy: no, I mean in the master branch of the primary fork into which the PR was merged. Does it exist there?
+ [2019-06-18T08:03:28Z] physkets oops got disconnected
+ [2019-06-18T06:44:31Z] physkets does the commit into master retain any information about the original author of the commit?
+ [2019-06-18T06:44:04Z] physkets When someone merges a PullRequest,