Code

push: fix local refs update if already up-to-date