From d0670d6bb65272179c6a55d942d19c644ec3b2f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Bonhomme?= <cedric@cedricbonhomme.org>
Date: Tue, 11 May 2021 22:40:58 +0200
Subject: [PATCH] chg: [GitHub] specify explicitly number of days before an
 issue (except with bug label) is considered as stale.

---
 .github/stale.yml     | 21 +++++++++++++++++++++
 scripts/update-all.sh |  2 +-
 2 files changed, 22 insertions(+), 1 deletion(-)
 create mode 100644 .github/stale.yml

diff --git a/.github/stale.yml b/.github/stale.yml
new file mode 100644
index 0000000..b66c663
--- /dev/null
+++ b/.github/stale.yml
@@ -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.
+
+
diff --git a/scripts/update-all.sh b/scripts/update-all.sh
index dfaa3d0..be16f5e 100755
--- a/scripts/update-all.sh
+++ b/scripts/update-all.sh
@@ -34,7 +34,7 @@ checkout_to_latest_tag() {
     pushd $1
     git fetch --tags
     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
     popd
   fi