1. 10 Feb, 2020 1 commit
  2. 04 Feb, 2020 1 commit
  3. 28 Jan, 2020 1 commit
  4. 15 Oct, 2019 1 commit
  5. 03 Sep, 2019 1 commit
    • Marc Cornellà's avatar
      meta: remove PR triage GitHub action 😢 · a4f6a996
      Marc Cornellà authored
      We do this because the GitHub Actions behavior was changed recently
      so as to not pass secrets to action runs started from forks, therefore
      the API token passed cannot be used to change PR labels.
      
      There may be an alternative in the future.
      a4f6a996
  6. 18 Aug, 2019 1 commit
  7. 13 Aug, 2019 2 commits
  8. 10 Jun, 2019 1 commit
  9. 21 May, 2019 1 commit
  10. 16 May, 2019 1 commit
  11. 03 May, 2019 1 commit