github: automatically close prs
This commit is contained in:
		
							
								
								
									
										18
									
								
								.github/workflows/close_prs.yml
									
									
									
									
										vendored
									
									
										Normal file
									
								
							
							
						
						
									
										18
									
								
								.github/workflows/close_prs.yml
									
									
									
									
										vendored
									
									
										Normal file
									
								
							| @ -0,0 +1,18 @@ | |||||||
|  | name: Close Pull Request | ||||||
|  |  | ||||||
|  | on: | ||||||
|  |   pull_request_target: | ||||||
|  |     types: [opened] | ||||||
|  |  | ||||||
|  | jobs: | ||||||
|  |   run: | ||||||
|  |     runs-on: ubuntu-latest | ||||||
|  |     steps: | ||||||
|  |     - uses: superbrothers/close-pull-request@v3 | ||||||
|  |       with: | ||||||
|  |         comment: | | ||||||
|  |           Thanks for your interest in contributing to river! | ||||||
|  |  | ||||||
|  |           Unfortunately, you are in the wrong place. As stated in the README, this github repo is a read-only mirror and development happens on codeberg: https://codeberg.org/river/river. | ||||||
|  |  | ||||||
|  |           Please open a pull request on codeberg instead. | ||||||
		Reference in New Issue
	
	Block a user