Skip to content
This repository has been archived by the owner on Jan 24, 2024. It is now read-only.

Commit

Permalink
chore: common .github files
Browse files Browse the repository at this point in the history
  • Loading branch information
holtgrewe committed Jan 23, 2024
1 parent 0b364f4 commit d0e04dd
Show file tree
Hide file tree
Showing 4 changed files with 78 additions and 0 deletions.
14 changes: 14 additions & 0 deletions .github/PULL_REQUEST_TEMPLATE.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,14 @@
<!--
NOTE
NOTE In most cases, you should create an issue first, and only then
NOTE a pull request. Please see the contribution guidelines for
NOTE further information. In particular related to conventional
NOTE commit messages.
NOTE
The title should have the following format:
<type>: description (#<issue>)
-->
27 changes: 27 additions & 0 deletions .github/workflows/add-issue-to-project.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
name: add issues to project

on:
issues:
types:
- opened

jobs:
add-to-project:
name: add issue to project
runs-on: ubuntu-latest
steps:
- name: register bug/needs-triage with bug tracker project
uses: actions/[email protected]
with:
project-url: https://github.com/orgs/varfish-org/projects/3
github-token: ${{ secrets.BOT_TOKEN }}
labeled: bug, needs-triage
label-operator: OR

- name: register bug/enhancement issues with release planning project
uses: actions/[email protected]
with:
project-url: https://github.com/orgs/varfish-org/projects/2
labeled: bug, needs-triage, enhancement
label-operator: OR
github-token: ${{ secrets.BOT_TOKEN }}
18 changes: 18 additions & 0 deletions .github/workflows/add-pr-to-project.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
name: add needs-review pull requests to projects

on:
pull_request:
types:
- labeled

jobs:
add-to-project:
name: Add pull request to project
runs-on: ubuntu-latest
steps:
- name: register pull requests with release planning project
uses: actions/[email protected]
with:
project-url: https://github.com/orgs/varfish-org/projects/2
github-token: ${{ secrets.BOT_TOKEN }}
labeled: needs-review
19 changes: 19 additions & 0 deletions .github/workflows/automerge.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
name: Dependabot auto-merge

on: pull_request

permissions:
contents: write

jobs:
dependabot:
runs-on: ubuntu-latest
if: ${{ github.actor == 'dependabot[bot]' }}
steps:
- name: Enable auto-merge for Dependabot PRs
run: gh pr merge --auto --squash "$PR_URL"
env:
PR_URL: ${{github.event.pull_request.html_url}}
# GitHub provides this variable in the CI env. You don't
# need to add anything to the secrets vault.
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

0 comments on commit d0e04dd

Please sign in to comment.