Infrastructure/ansible
3
0
Fork 0
Code Issues Pull requests 6 Projects Releases Packages Wiki Activity Actions

koschei/backend: Fix refreshing of dist-git groups

Browse source
This commit is contained in:
Mikolaj Izdebski 2019-04-08 17:02:20 +02:00
parent 913a8f8efa
commit 1655385dfb
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
roles/koschei/backend/files/koschei-refresh-distgit-group
View file

@ -1,6 +1,6 @@
#!/bin/bash
if [ "$#" -ne 2 ]; then
echo "Usage: refresh-group <group-name> <distgit-group-name>"
if [ "$#" -lt 2 ]; then
echo "Usage: refresh-group <group-name> <distgit-group-name> [...]"
exit 1
fi
set -e