You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Should we add a ci-actions label to distinguish from the generic build and meta labels? Would be easier to find PRs and issues related to GitHub Actions. It also should be easy to automate with github-bot for PRs.
The text was updated successfully, but these errors were encountered:
mmarchini
added
the
meta
Issues and PRs related to the general management of the project.
label
Apr 11, 2020
Should we add a
ci-actions
label to distinguish from the genericbuild
andmeta
labels? Would be easier to find PRs and issues related to GitHub Actions. It also should be easy to automate with github-bot for PRs.The text was updated successfully, but these errors were encountered: