diff options
author | Levente Polyak <anthraxx@archlinux.org> | 2023-01-20 01:11:02 +0100 |
---|---|---|
committer | Levente Polyak <anthraxx@archlinux.org> | 2023-05-20 00:08:11 +0200 |
commit | 79543824011ba51ddad6a4dda8c8c585ea8e5e0a (patch) | |
tree | b8c25b1eb77926bca0a4ed6da7b93b4a2b6c2912 | |
parent | 1ae09b43af632c3a61135dc295c9c1b12b227669 (diff) | |
download | devtools-79543824011ba51ddad6a4dda8c8c585ea8e5e0a.tar.xz |
commitpkg: error out if the repo is not configured to latest specs
This ensures the repository we try to commit and release from uses the
latest distro specs for its local git config. The check errors out early
before touching anything and prints a recommendation how to update the
repo.
Signed-off-by: Levente Polyak <anthraxx@archlinux.org>
-rw-r--r-- | src/commitpkg.in | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/commitpkg.in b/src/commitpkg.in index 5f29881..7573d9b 100644 --- a/src/commitpkg.in +++ b/src/commitpkg.in @@ -64,6 +64,12 @@ if [[ ! -f PKGBUILD ]]; then die 'No PKGBUILD file' fi +if ! repo_spec=$(git config --local devtools.version) || [[ ${repo_spec} != "${GIT_REPO_SPEC_VERSION}" ]]; then + error "repository specs are out of date, try:" + msg2 'pkgctl repo configure' + exit 1 +fi + if [[ "$(git symbolic-ref --short HEAD)" != main ]]; then die 'must be run from the main branch' fi |