Closed bcho892 closed 3 months ago
Is your feature request related to a problem? Please describe. Right now we are wasting our channel quota especially for smaller PRs.
BEFORE MERGING
git fetch origin master:master
git rebase master
git merge master
Is your feature request related to a problem? Please describe. Right now we are wasting our channel quota especially for smaller PRs.
BEFORE MERGING
git fetch origin master:master
, thengit rebase master
orgit merge master
)