mirror of
https://codeberg.org/forgejo/forgejo.git
synced 2025-01-08 15:18:26 -05:00
a5e26e3ad0
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.
(cherry picked from commit 6f53f7d007)
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 }}
|