hifis_team.yml: Overall Management (!302) · Merge requests · HIFIS / Overall / hifis.net · GitLab

Snippets Groups Projects

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

Activity

Uwe Jandt (DESY, HIFIS) assigned to @jandt-desy 3 years ago

assigned to @jandt-desy
Uwe Jandt (DESY, HIFIS) enabled an automatic merge when the pipeline for efe398d9 succeeds 3 years ago

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

merged
Uwe Jandt (DESY, HIFIS) mentioned in commit 16dfae3a 3 years ago

mentioned in commit 16dfae3a

Please register or sign in to reply

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