synapse/scripts-dev/next_github_number.sh

#!/usr/bin/env bash

set -e

# Fetch the current GitHub issue number, add one to it -- presto! The likely
# next PR number.
CURRENT_NUMBER=$(curl -s "https://api.github.com/repos/element-hq/synapse/issues?state=all&per_page=1" | jq -r ".[0].number")
CURRENT_NUMBER=$((CURRENT_NUMBER+1))
echo $CURRENT_NUMBER
Use interpreter from $PATH instead of absolute paths in various scripts using /usr/bin/env (#9689) On NixOS, `bash` isn't under `/bin/bash` but rather in some directory in `$PATH`. Locally, I've been patching those scripts to make them work. `/usr/bin/env` seems to be the only [portable way](https://unix.stackexchange.com/questions/29608/why-is-it-better-to-use-usr-bin-env-name-instead-of-path-to-name-as-my) to use binaries from the PATH as interpreters. Signed-off-by: Quentin Gliech <quentingliech@gmail.com> 2021-03-25 16:53:54 +00:00			`#!/usr/bin/env bash`
Reduce the load on our CI (#3957) * changelog * reduce circleci config * plus a handy script * fix regex 2018-09-26 14:23:21 +00:00
			`set -e`

			`# Fetch the current GitHub issue number, add one to it -- presto! The likely`
			`# next PR number.`
Fix typo 2023-12-13 16:37:10 +00:00			`CURRENT_NUMBER=$(curl -s "https://api.github.com/repos/element-hq/synapse/issues?state=all&per_page=1" \| jq -r ".[0].number")`
Reduce the load on our CI (#3957) * changelog * reduce circleci config * plus a handy script * fix regex 2018-09-26 14:23:21 +00:00			`CURRENT_NUMBER=$((CURRENT_NUMBER+1))`
Use interpreter from $PATH instead of absolute paths in various scripts using /usr/bin/env (#9689) On NixOS, `bash` isn't under `/bin/bash` but rather in some directory in `$PATH`. Locally, I've been patching those scripts to make them work. `/usr/bin/env` seems to be the only [portable way](https://unix.stackexchange.com/questions/29608/why-is-it-better-to-use-usr-bin-env-name-instead-of-path-to-name-as-my) to use binaries from the PATH as interpreters. Signed-off-by: Quentin Gliech <quentingliech@gmail.com> 2021-03-25 16:53:54 +00:00			`echo $CURRENT_NUMBER`