On push to branches a git diff is done to find out the projects that were updated/removed. This is currently done by comparing the tip of the branch to main, which is plain wrong as main has not necessarily been pulled in the branch. Instead the diff should be done between to tip and the root of the branch.
On push to branches a
git diffis done to find out the projects that were updated/removed. This is currently done by comparing the tip of the branch to main, which is plain wrong as main has not necessarily been pulled in the branch. Instead the diff should be done between to tip and the root of the branch.