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

Posted by kylewdonaldson in #github at 2020-04-17T13:49:54Z

Hi All :) I have a question regarding merging with git, I am using git for version control with Twincat 3 software, the Twincat project compare tool must be used for merge and diff operations, if I mereg a pull request on GitHub through my browser how is the merge performed? Sorry if this a n00b question..
+ [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?