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