+ [2020-04-17T21:53:12Z] wallbroken another question: if i change profile name
+ [2020-04-17T21:53:26Z] wallbroken the old links, and so on, will be removed?
+ [2020-04-17T22:14:33Z] R2robot what old links?
+ [2020-04-17T22:15:29Z] R2robot your repos will be under your new name, but if anybody @'d you in messages, those will not move to your new profile name

message no. 179399

Posted by kylewdonaldson in #github at 2020-04-17T14:02:43Z

If a pull request is merged on GitHub, what tool is used to perform the diff and merge operations? I am using git for Twincat files and they apparently need the Twincat Project compare tool specifically used for diff and merge operations.
+ [2020-04-18T01:05:53Z] nedbat GoodTimesImmort: hey
+ [2020-04-18T01:11:41Z] GoodTimesImmort I have a gpg faild to sign the data fatal: failed to write commit object error and I'm at a loss
+ [2020-04-18T01:26:23Z] GoodTimesImmort and now I have a successful commit that doesn't show on the github repo?
+ [2020-04-18T15:56:20Z] TikityTik is there an easy way to add licensing if a repo is already made and files+commits were made already?