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

Posted by __that__ in #github at 2020-04-17T14:00:15Z

could it be that two developers have sent their changes right at the same time to the same branch and someone one has overwritten the other one
+ [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?