Undo a git commit: Undo git commits using the command line

Stijn Van Hoey

Research output: Other contributionTutorialspeer-review

Original languageEnglish
Publication statusPublished - 2017

Thematic List 2020

  • Data & infrastructure

Cite this