mirror of
https://codeberg.org/forgejo/forgejo.git
synced 2024-12-28 14:43:52 +03:00
6f53f7d007
The milestone can only be determined to be final when a pull request is merged. It is possible that a pull request is opened during the development of v10 and merged after it is published. It is also possible that it is permanently closed without being merged.
24 lines
641 B
YAML
24 lines
641 B
YAML
# Copyright 2024 The Forgejo Authors
|
|
# SPDX-License-Identifier: MIT
|
|
#
|
|
name: milestone
|
|
|
|
on:
|
|
pull_request_target:
|
|
types:
|
|
- closed
|
|
|
|
jobs:
|
|
set:
|
|
if: vars.ROLE == 'forgejo-coding' && github.event.pull_request.merged
|
|
runs-on: docker
|
|
container:
|
|
image: 'code.forgejo.org/oci/ci:1'
|
|
steps:
|
|
- uses: https://code.forgejo.org/forgejo/set-milestone@v1.0.0
|
|
with:
|
|
forgejo: https://codeberg.org
|
|
repository: forgejo/forgejo
|
|
token: ${{ secrets.SET_MILESTONE_TOKEN }}
|
|
pr-number: ${{ github.event.pull_request.number }}
|
|
verbose: ${{ vars.SET_MILESTONE_VERBOSE }}
|