Commits on Aug 23, 2022

1. skip "testing" branch preemptive deletion …

   In #134, we transitioned from testing on `testing/<id>` instead of just
   `testing`.  In order to maintain backwards compatibility, we had to delete
   `testing` every time we created a new `testing/<id>` branch.
   
   That has been a month ago, and most projects that use Hoff should have had at
   least one PR triggering the deletion of `testing`.  So we should remove this
   code that tries deletion every time.
   
   We currently see the following in the logs every time we merge:
   
   ```haskell
   Aug 18 13:37:12 hoff hoff[4321]: [Warn] error: git push -d failed. Reason: error: unable to delete 'testing': remote ref does not exist
   Aug 18 13:37:29 hoff hoff[4321]: error: failed to push some refs to 'git@github.com:<org>/<repo>.git'
   ```
   
   This should get rid of entries like the above.

   

   rudymatela committed Aug 23, 2022
   Configuration menu

   • View commit details
   • Copy full SHA for 7d58a61
   • Browse repository at this point

   Copy the full SHA

   7d58a61 View commit details

   Browse the repository at this point in the history