mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-09-24 16:30:27 +08:00
Merge pull request #11107 from mvdbeek/tag_new_prs_21_05
Tag new PRs with 21.05
This commit is contained in:
@@ -8,7 +8,7 @@ jobs:
|
||||
name: Assign labels and milestone
|
||||
runs-on: ubuntu-latest
|
||||
env:
|
||||
MILESTONE_NUMBER: 18
|
||||
MILESTONE_NUMBER: 19
|
||||
steps:
|
||||
- name: Add area labels
|
||||
if: ${{ ! contains(join(github.event.pull_request.labels.*.name, ', '), 'area/') }}
|
||||
|
||||
Reference in New Issue
Block a user