You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think the issue is that each task does git remote update origin and then checks if git pull fetched anything. We should instead checkout the upstream remote ref and see if HEAD changed or not.
The text was updated successfully, but these errors were encountered:
I think the issue is that each task does
git remote update origin
and then checks ifgit pull
fetched anything. We should instead checkout the upstream remote ref and see if HEAD changed or not.The text was updated successfully, but these errors were encountered: