blob: ea96de970aad4e02aba83e7e3b8176398b8e5770 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#!/bin/sh
echo "PR number"
read -r PR
echo "Where? (type a prefix)"
(cd doc/changelog && ls -d */)
read -r where
where=$(echo doc/changelog/"$where"*)
where="$where/$PR-$(git rev-parse --abbrev-ref HEAD).rst"
# shellcheck disable=SC2016
# the ` are regular strings, this is intended
# use %s for the leading - to avoid looking like an option (not sure
# if necessary but doesn't hurt)
printf '%s bla bla (`#%s <https://github.com/coq/coq/pull/%s>`_, by %s).' - "$PR" "$PR" "$(git config user.name)" > "$where"
giteditor=$(git config core.editor)
if [ "$giteditor" ]; then
$giteditor "$where"
elif [ "$EDITOR" ]; then
$EDITOR "$where"
else echo "$where"
fi
|
