chg: [GitHub] specify explicitly number of days before an issue (except with bug label) is considered as stale.

phpword_v0.18.1
Cédric Bonhomme 2021-05-11 22:40:58 +02:00
parent 1f4af50f42
commit d0670d6bb6
No known key found for this signature in database
GPG Key ID: A1CB94DE57B7A70D
2 changed files with 22 additions and 1 deletions

21
.github/stale.yml vendored Normal file
View File

@ -0,0 +1,21 @@
# Number of days of inactivity before an issue becomes stale
daysUntilStale: 120
# Number of days of inactivity before a stale issue is closed
daysUntilClose: false
# Issues with these labels will never be considered stale
exemptLabels: [bug]
# Label to use when marking an issue as stale
staleLabel: stale
# Comment to post when marking an issue as stale. Set to `false` to disable
markComment: >
Close call! This issue has been marked as stale because it has not had
any recent activity. It should be closed if no further activity occurs. Add a comment
or push a commit to keep this issue stay alive and kicking. Thank you
for your contribution; it is appreciated.

View File

@ -34,7 +34,7 @@ checkout_to_latest_tag() {
pushd $1 pushd $1
git fetch --tags git fetch --tags
tag=$(git describe --tags `git rev-list --tags --max-count=1`) tag=$(git describe --tags `git rev-list --tags --max-count=1`)
git checkout $tag -b latest git checkout -b $tag latest
git pull origin $tag git pull origin $tag
popd popd
fi fi