misc update

This commit is contained in:
Bruno Carlin 2020-10-05 13:19:22 +02:00
parent beff711346
commit d6e546958e
10 changed files with 57 additions and 14 deletions

View file

@ -24,6 +24,8 @@
pushmerge = push -o merge_request.merge_when_pipeline_succeeds
pushmr = push -o merge_request.create -o merge_request.merge_when_pipeline_succeeds
uncommit = reset --soft HEAD^
copr = "!f() { git fetch origin pull/$1/head:pr/$1 && git co pr/$1;}; f"
comr = "!f() { git fetch origin merge-requests/$1/head:mr/$1 && git co mr/$1;}; f"
[url "ssh://git@code.waarp.fr:2222"]
insteadOf = https://code.waarp.fr
[core]