That feels a bit dirty given that git explicitly tells us what branch was just pushed to. Maybe that can be passed on the kudu.exe command line? Not sure what that would look like exactly.