1 |
commit: 454c72905c4eeee38ad3218e5a5c5abef185b968 |
2 |
Author: Brian Dolbec <dolsen <AT> gentoo <DOT> org> |
3 |
AuthorDate: Fri Dec 23 19:37:23 2016 +0000 |
4 |
Commit: Brian Dolbec <dolsen <AT> gentoo <DOT> org> |
5 |
CommitDate: Fri Dec 23 19:37:40 2016 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/gentoo-keys.git/commit/?id=454c7290 |
7 |
|
8 |
gkeys-ldap: Add --signed to push commands in update-seeds.sh |
9 |
|
10 |
gkeys-ldap/bin/update-seeds.sh | 4 ++-- |
11 |
1 file changed, 2 insertions(+), 2 deletions(-) |
12 |
|
13 |
diff --git a/gkeys-ldap/bin/update-seeds.sh b/gkeys-ldap/bin/update-seeds.sh |
14 |
index c8f9e78..f7f968f 100755 |
15 |
--- a/gkeys-ldap/bin/update-seeds.sh |
16 |
+++ b/gkeys-ldap/bin/update-seeds.sh |
17 |
@@ -66,7 +66,7 @@ cd ${GKEY_SEEDS_DIR} |
18 |
git add ${GKEY_SEEDS} || die " *** Failed to add modified ${GKEYS_SEEDS} file" |
19 |
git add ${GKEY_SEEDS}.${GKEYS_SIG} || die " *** Failed to add ${GKEYS_SEEDS}.sig file" |
20 |
git commit -m "${GKEYS_COMMIT_MSG}" || die " *** Failed to commit updates" |
21 |
-git push origin master || die " *** git push failed" |
22 |
+git push --signed origin master || die " *** git push failed" |
23 |
cd .. |
24 |
|
25 |
echo "Committing changes to api repo..." |
26 |
@@ -76,7 +76,7 @@ cd ${API_DIR} |
27 |
git add ${API_SEEDS} || die " *** Failed to add modified ${GKEYS_SEEDS} file" |
28 |
git add ${API_SEEDS}.${GKEYS_SIG} || die " *** Failed to add ${GKEYS_SEEDS}.sig file" |
29 |
git commit -m "${GKEYS_COMMIT_MSG}" || die " *** Failed to commit updates" |
30 |
-git push origin master || die " *** git push failed" |
31 |
+git push --signed origin master || die " *** git push failed" |
32 |
|
33 |
echo "Pushing the log file to ${LOG_UPLOAD_URL}" |
34 |
LOG_FILE=$( cat "${LOG_DIR}/gkeys-ldap-lastlog" ) |