comparison Makefile @ 22224:f713de1d3916

push: update bookmarks within the remote lock Updating bookmarks is part of the push. It should be done within the same lock as the other steps of the push.
author Pierre-Yves David <pierre-yves.david@fb.com>
date Fri, 15 Aug 2014 15:25:12 -0700
parents 4bfb721de6dd
children 246b6a9c8d8f
comparison
equal deleted inserted replaced
22223:c39d404f0eb0 22224:f713de1d3916