jprdonnelly/docs
1
0
Fork 0
mirror of synced 2025-12-30 12:02:01 -05:00
Code Issues Projects Releases Wiki Activity

Allow repo sync in public repo (#16746)

Browse Source 
* Allow repo sync in public repo

* Update repository-references.js

* Update lint-files.js
This commit is contained in:
Kevin Heis
2020-12-03 11:19:23 -08:00
committed by GitHub
parent 44ccfc29d8
commit 30cdb3173b
3 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/close-unwanted-pull-requests.yml vendored
View File

@@ -12,7 +12,7 @@ on:
- 'lib/webhooks/**'
jobs:
close_unwanted_pull_requests:
if: github.repository == 'github/docs'
if: github.repository == 'github/docs' && github.event.pull_request.user.login != 'Octomerger'
runs-on: ubuntu-latest
steps:
- uses: actions/github-script@626af12fe9a53dc2972b48385e7fe7dec79145c9