Skip to content
GitLab
Explore
Sign in
Register
Propagate is_local
Code
Review changes
Check out branch
Download
Patches
Plain diff
Tammo Jan Dijkema
requested to merge
islocal
into
master
Sep 07, 2023
Overview
4
Commits
2
Pipelines
6
Changes
3
Expand
The
is_local
flag, available at least to python users, was silently ignored.
Merge request reports
Loading