GitHub actions (#544)

* Create label.yml

* Create labeler.yml

* Create greetings.yml
This commit is contained in:
James Harris 2019-11-20 02:32:09 +00:00 committed by GitHub
parent b0a153992a
commit 10bb1a6b95
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 38 additions and 0 deletions

7
.github/labeler.yml vendored Normal file
View File

@ -0,0 +1,7 @@
Status%3A%20Review%20Needed:
- Comanche055/**/*
- Luminary099/**/*
Type%3A%20Proof:
- Comanche055/**/*
- Luminary099/**/*

12
.github/workflows/greetings.yml vendored Normal file
View File

@ -0,0 +1,12 @@
name: Greetings
on: [pull_request]
jobs:
greeting:
runs-on: ubuntu-latest
steps:
- uses: actions/first-interaction@v1
with:
repo-token: ${{ secrets.GITHUB_TOKEN }}
pr-message: 'Thank you for contributing to Apollo 11!'' first pr'

19
.github/workflows/label.yml vendored Normal file
View File

@ -0,0 +1,19 @@
# This workflow will triage pull requests and apply a label based on the
# paths that are modified in the pull request.
#
# To use this workflow, you will need to set up a .github/labeler.yml
# file with configuration. For more information, see:
# https://github.com/actions/labeler/blob/master/README.md
name: Labeler
on: [pull_request]
jobs:
label:
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v2
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"