1. 24 May, 2019 1 commit
    • Mark Lapierre's avatar
      Reload page to check if branch is deleted · a3f88356
      Mark Lapierre authored
      When the "Delete merged branches" button is used the UI doesn't
      update automatically. So when the page is refreshed it's possible
      that the branch will still be present.
      
      This checks for the branch to be gone and reloads if it is not,
      repeating until the default timeout (60s).
      a3f88356
  2. 23 May, 2019 39 commits