1. 05 Jul, 2020 1 commit
  2. 30 Apr, 2020 1 commit
  3. 14 Apr, 2020 1 commit
  4. 10 Feb, 2020 1 commit
  5. 04 Feb, 2020 1 commit
  6. 28 Jan, 2020 1 commit
  7. 15 Oct, 2019 1 commit
  8. 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
  9. 18 Aug, 2019 1 commit
  10. 13 Aug, 2019 2 commits
  11. 10 Jun, 2019 1 commit
  12. 21 May, 2019 1 commit
  13. 16 May, 2019 1 commit
  14. 03 May, 2019 1 commit