How to delete a remote branch or a tag in GIT on Drupal.org