Skip to content

Commit

Permalink
#2050: Unifying project space with GitHub defaults (#2051)
Browse files Browse the repository at this point in the history
#2050: Unifying project space with GitHub defaults
* docs -> documentation
* Milestones are obsolete
  • Loading branch information
benedeki authored Apr 14, 2022
1 parent a10e6b5 commit 7e3d599
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 7 deletions.
2 changes: 0 additions & 2 deletions .github/ISSUE_TEMPLATE/epic.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,5 +16,3 @@ A list of expected issues that will be needed to achieve this Epic
1.
2.
3.

**NB! Don't forget to assign the Epic into a Milestone**
4 changes: 2 additions & 2 deletions .github/ISSUE_TEMPLATE/release_notes.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,9 +2,9 @@
title: Add release notes for vX.Y.0
name: Release Notes
about: Create release notes
labels: 'docs, priority: medium'
labels: 'documentation, priority: medium'

---

## Background
With the release of vX.Y.0, we should add its release notes to the docs.
With the release of vX.Y.0, we should add its release notes to the documentation.
6 changes: 3 additions & 3 deletions .github/workflows/pr_labels_check.yml
Original file line number Diff line number Diff line change
Expand Up @@ -18,14 +18,14 @@ on:
pull_request:
types: [opened, labeled, unlabeled, synchronize]
jobs:
test_approved_or_docs:
name: Test approved or docs
test_approved_or_documentation:
name: Test approved or documentation
runs-on: ubuntu-latest
steps:
- uses: danielchabr/[email protected]
id: checkLabel
with:
hasSome: PR:tested,PR:no testing needed,docs
hasSome: PR:tested,PR:no testing needed,documentation,docs
githubToken: ${{ secrets.GITHUB_TOKEN }}
merge_blocked:
name: Merge not blocked
Expand Down

0 comments on commit 7e3d599

Please sign in to comment.