Makefile: push-to-gitlab: Use force-push to be able to push merges
[sunny256-utils.git] / gpsfold
blob2fa466242f0c58839d6b12a9ae9f36eac8dbb5f8
1 Git/gpstools/gpsfold