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
To wipe out the files in the PR, we need to force push to the submitter's fork while the PR is still open. A maintainer should have this permission.
First, in your local clone, checkout the PR using the gh command. Using the gh command sets the proper config for pushing back to the submitter's fork.
gh pr checkout pr_number
where pr_number is replaced by the PR number.
The you need to remove all the troublesome commits.
git reset --hard HEAD^
removes one commit. Repeat as necessary to remove all desired commits.
Then we need to push back to the submitter's fork. If the submitter used a branch (other than main):
git push --force
If however the submitter made the PR from their main branch:
This issue has been automatically marked as stale because it has not had activity within 90 days. It will be automatically closed if no further activity occurs within 30 days.
We should create a standard process for possible leaked or unapproved knowledge submissions.
Something along the lines of:
The text was updated successfully, but these errors were encountered: