Is there a way to push to a branch only if it hasn\'t changed since I last fetched it?
More specifically, I\'d like to delete branches that have already been merged,