Update 2020-12-17-eosc-general-assembly.md (!144) · Merge requests · HIFIS / Overall / hifis.net · GitLab

Snippets Groups Projects

Merged Uwe Jandt (DESY, HIFIS) requested to merge jandt-desy-master-patch-37541 into master 4 years ago

Activity

Uwe Jandt (DESY, HIFIS) enabled an automatic merge when the pipeline for e772954b succeeds 4 years ago

enabled an automatic merge when the pipeline for e772954b succeeds
Uwe Jandt (DESY, HIFIS) canceled the automatic merge 4 years ago

canceled the automatic merge
Uwe Jandt (DESY, HIFIS) enabled an automatic merge when the pipeline for e772954b succeeds 4 years ago

enabled an automatic merge when the pipeline for e772954b succeeds
Uwe Jandt (DESY, HIFIS) merged 4 years ago

merged
Uwe Jandt (DESY, HIFIS) mentioned in commit ece941ff 4 years ago

mentioned in commit ece941ff

Please register or sign in to reply

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