Skip to content
GitLab
Explore
Sign in
No git dir?
Code
Review changes
Check out branch
Download
Patches
Plain diff
Miek Gieben
requested to merge
no-git-dir
into
main
Dec 22, 2022
Overview
0
Commits
3
Pipelines
6
Changes
8
Expand
Signed-off-by: Miek Gieben
miek@science.ru.nl
Merge request reports