Thursday, June 27, 2019

Aborting a merge

I ran into a conflict while merging, and wanted to abort my merge.

git reset --hard HEAD

Monday, June 24, 2019

excellent questionnaire en ligne à https://response.questback.com/