| Age | Commit message (Collapse) | Author |
|---|
|
Because they don't have the permissions to do it. Instead, reword the
message to ask people to ping mitechie, in line with the rest of the
message.
|
|
This reverts commits fad919aa2c894abaa3af88aed1e064c1220937fe ("stale:
disable check for holiday break (#735)") and
e4f2d6139a802e659c571f581763eddeee715e2f ("stale: fix error in
definition (#740)").
|
|
This should fix the error, and also allows us to manually trigger the
workflow.
|
|
This makes it easier to copy/paste commit messages prepared elsewhere
into the GitHub UI (and also means that the formatting in the GH UI more
closely matches how the commit message will be consumed elsewhere).
|
|
We're unlikely to see any activity on many PRs over the next couple of
weeks, so don't close out inactive PRs for the duration.
|
|
Make it a little easier for people to understand what we're looking for
in a commit message.
|
|
|
|
|
|
|
|
We missed this one when we updated all the docs for the Canonical team's
management change.
|
|
This workflow will label pull requests with "stale-pr" if they haven't
seen activity for 14 days. It will then close them out after a further
7 days of inactivity.
|
|
The list so far is partial.
|
|
Instead of using the username that triggered the action (which, in the
case of a committer merging master into a PR branch will be the
committer), always use the username of the submitter of the pull
request.
|
|
Github api doesn't allow read-write access to labels or comments when
running from a pull_request fork during CI.
This restriction results in an API error
message: "Resource not accessible by integration"
If we want to run this action per pull_request, we need to convert the
action to fail the PR status check and emit the required steps to sign the
CLA to the console on the PR's failed status tab.
|
|
Check whether the pull request submitter has signed the CLA due
to presence of github.actor in tools/.lp-to-git-user
Set 'CLA signed' if present, 'CLA not signed' label if absent
* grep for the full github username in CLA file
Co-authored-by: Daniel Watkins <daniel@daniel-watkins.co.uk>
|
|
|
|
This will hopefully avoid people submitting PRs against our mirror repo.
(Thanks to GitHub user @max06 for this suggestion!)
|
