For new users, it can be easy to call git push rad HEAD:refs/patches again when trying to update patch. It might be worth checking if an existing patch’s head matches an ancestor of the commit history that is being created for the new patch – we could then warn them that they may want to update the existing patch.