| Age | Commit message (Collapse) | Author |
|---|
|
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>
|
