Resolve "Move tagging to episode 10" (!4) · Merge requests · HIFIS / HIFIS Software Services / Education and Training / Workshop Materials / Git and GitLab Courses / Version Control with Git - Archived · GitLab

Snippets Groups Projects

This is an archived project. Repository and other project resources are read-only.

Merged Tobias Schlauch requested to merge 4-move-tagging-to-episode-10 into master 4 years ago

Closes #4 (closed)

Edited 4 years ago by Tobias Schlauch

Activity

Tobias Schlauch added 1 commit 4 years ago
added 1 commit

f33413dc - Fix figures and extend key points

Compare with previous version
Tobias Schlauch added 1 commit 4 years ago
added 1 commit

a899ff2e - Move tagging at the end of episode 10

Compare with previous version
Tobias Schlauch added 1 commit 4 years ago
added 1 commit

312a9068 - Clearly separate the push and pull parts

Compare with previous version
Tobias Schlauch added 1 commit 4 years ago
added 1 commit

bdf955ea - Remove unnecessary --all option

Compare with previous version
Tobias Schlauch added 1 commit 4 years ago
added 1 commit

79ad124b - Improve structure of the different steps

Compare with previous version
Tobias Schlauch added 1 commit 4 years ago
added 1 commit

2c033c2b - Fix typos

Compare with previous version
Tobias Schlauch unmarked as a Work In Progress 4 years ago

unmarked as a Work In Progress
Tobias Schlauch enabled an automatic merge when the pipeline for 2c033c2b succeeds 4 years ago

enabled an automatic merge when the pipeline for 2c033c2b succeeds
Tobias Schlauch mentioned in commit 2a0e737c 4 years ago

mentioned in commit 2a0e737c

Please register or sign in to reply

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog