Skip to main navigation Skip to search Skip to main content

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

  • Stijn Van Hoey

Research output: Other contributionTutorialpeer-review

Original languageEnglish
Publication statusPublished - 2017

Thematic List 2020

  • Data & infrastructure

Cite this