Closed bcho892 closed 4 months ago
Is your feature request related to a problem? Please describe. This will be helpful for cases where the admins want to "prune" users BEFORE MERGING
git fetch origin master:master
git rebase master
git merge master
Is your feature request related to a problem? Please describe. This will be helpful for cases where the admins want to "prune" users BEFORE MERGING
git fetch origin master:master
, thengit rebase master
orgit merge master
)