I think it is better to make a revert commit and push that as well, that avoids the problem of rewritten history.
git revert 30ab68833999931e29ce8453ebc1057f939575e6 git push To prevent mistakes like this in the future, change the upstream repo URL to use the https:// or git:// links instead of ssh:// Best regards, Joakim On Thu, Feb 11, 2016 at 1:11 PM, Landsmann, Martin < martin.landsm...@haw-hamburg.de> wrote: > Hi guys, > > I accidentally commited directly to master ): [1] > Is there a way to revert it? > > Best Regards, > Martin > > [1] > https://github.com/RIOT-OS/RIOT/commit/30ab68833999931e29ce8453ebc1057f939575e6 > > _______________________________________________ > devel mailing list > devel@riot-os.org > https://lists.riot-os.org/mailman/listinfo/devel > >
_______________________________________________ devel mailing list devel@riot-os.org https://lists.riot-os.org/mailman/listinfo/devel
