Commit Graph

17 Commits (9ac1ffd5ca55f977da63d954788be5c463def51a)

Author SHA1 Message Date
Axel Navarro 37d7bbe950
labeler.yml: use alias tag v0 (#7472) 2021-11-24 13:09:40 -03:00
Axel Navarro 0659e80101
tooling: add PR labeler (#7460)
Co-authored-by: Matthew Peveler <matt.peveler@gmail.com>
2021-11-20 23:02:52 -03:00
Matthew Peveler 3fa29ea1c2
tooling: add black and flake8 for python formatting/linting (#6454) 2021-09-03 12:17:51 -03:00
Waldir Pimenta dd8cfd038a
stale GitHub action: re-wrap long message (#5887)
GitHub's markdown renderer does not wrap single line breaks,
so the message the bot leaves when closing a thread
would have an awkward line break.
This commit re-wraps the message to avoid that.
2021-05-10 21:31:43 +01:00
Owen Voke 6a058b56fe ci: update branch in mirror workflow 2021-05-01 20:10:05 +01:00
Owen Voke d33da35733 ci: update to use 'main' branch 2021-05-01 20:10:05 +01:00
bl-ue 20fdd9bd88
ci: have stalebot ignore issues with the 'stalebot ignore' label (#5372) 2021-03-16 09:19:52 +00:00
Matthew Peveler df5439818b
add commit mirror workflow (#5313)
Signed-off-by: Matthew Peveler <matt.peveler@gmail.com>
2021-03-08 19:13:05 +00:00
Owen Voke 1d2b4242c8 ci: generate PDF version of tldr pages 2020-12-04 18:48:24 +00:00
Ein Verne 1491a6cb82
ci: fix issue with `set-env` usage (#4964) 2020-11-18 11:54:26 +00:00
Jamie Magee 34f8c610df
Checkout all branches in GitHub Actions (#4437)
By default actions/checkout@v2 only checks out the latest commit of the current branch. Unfortunately, this causes the `git diff` check in `check-pr.sh` to fail, as `master` branch isn't available`.

This change checks out all commits of all branches, which allows `git diff` to work correctly.

Ideally, I'd like to use the `ref` setting of actions/checkout@v2, but that only supports a single ref so it's not possible to checkout the PR branch _and_ `master` branch at the same time.
2020-10-05 16:23:08 +01:00
Owen Voke ee665051b3
Update to use `actions/stale` instead of Stale Bot (#4143) 2020-07-14 23:28:34 +02:00
Marco Bonelli 4b76ffff45
CI: fix deployment branch check (#4130) 2020-06-27 18:19:22 +02:00
Zlatan Vasović d8e6c7e11f
Quick fix, github.branch -> github.ref 2020-06-26 19:09:47 +02:00
Owen Voke 7e3ca9c540 Resolve deploy key from secrets 2020-06-26 18:55:59 +02:00
Owen Voke 5e958f6074 Update scripts to use PULL_REQUEST_ID 2020-06-26 18:55:59 +02:00
Owen Voke bcab713a65 Add GitHub Actions CI workflow 2020-06-26 18:55:59 +02:00