git-push-to-gitlab: Don't create or push `synced/master`
[sunny256-utils.git] / plass
blob52a15ff3a44bab95a4e3f38eede184b103942539
1 Git/gpstools/plass