+ [2019-10-07T21:01:12Z] neverblue hi guys, wondering if I can some newb support here
+ [2019-10-07T21:01:53Z] neverblue i have GitHub Desktop installed, provide my credentials for my site (in GitHub) and I have some scripts I want to toss in/manage
+ [2019-10-07T21:02:16Z] neverblue do I add these files in to my local "scripts" folder, then this will sync with GitHub
+ [2019-10-07T21:02:31Z] neverblue or I am taking this third/fourth step incorrectly ?
+ [2019-10-08T07:58:28Z] sianw Hello. I accidentally merged a branch into master via the github web interface whereas I meant to merge it into a different branch. I want to do the equivalent of "git reset --hard <commit_id>" to completely reset master to the point it was at before the accidental merge however I can only find a revert option on the interface. How do I do this?

message no. 174939

Posted by sianw in #github at 2019-10-08T07:58:28Z

Hello. I accidentally merged a branch into master via the github web interface whereas I meant to merge it into a different branch. I want to do the equivalent of "git reset --hard <commit_id>" to completely reset master to the point it was at before the accidental merge however I can only find a revert option on the interface. How do I do this?
+ [2019-10-10T02:56:49Z] zenix_2k2 not sure if this's a github question but if an account is created under GPL3 license, does it mean literally anyone could edit it ?
+ [2019-10-10T02:59:51Z] dmlloyd accounts don't have licenses afaik
+ [2019-10-10T03:01:20Z] zenix_2k2 only repositories ?
+ [2019-10-10T03:02:02Z] dmlloyd not even that