+[2019-10-07T17:58:01Z]BirdfaceI suppose that makes sense, I think I got what I wanted though: https://github.com/sparkfun/Monster_Moto_Shield/pull/5 +[2019-10-07T21:01:12Z]neverbluehi guys, wondering if I can some newb support here +[2019-10-07T21:01:53Z]neverbluei 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]neverbluedo I add these files in to my local "scripts" folder, then this will sync with GitHub +[2019-10-07T21:02:31Z]neverblueor I am taking this third/fourth step incorrectly ?
it's necessary if you do not otherwise have write access to the original repository
+[2019-10-08T07:58:28Z]sianwHello. 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_2k2not 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]dmlloydaccounts don't have licenses afaik +[2019-10-10T03:01:14Z]zenix_2k2huh, Hm +[2019-10-10T03:01:20Z]zenix_2k2only repositories ?