comparison scripts/update-git-remotes @ 1200:79ed5d9678a8 draft

something useless
author cathugger <cathugger@cock.li>
date Thu, 18 Jan 2018 14:12:44 +0000
parents e083c616cf04
children 2dcb03d77b03
comparison
equal deleted inserted replaced
1199:dfda92fd4ec3 1200:79ed5d9678a8
1 #!/bin/sh 1 #!/bin/sh
2 # 2 #
3 # Creates git remotes from the user db 3 # Synchronizes git remotes with the user db
4 # TODO: detect users' git address changes
5 # 4 #
6 5
7 if ! `dirname "$0"`/check_db_safety; then 6 if ! `dirname "$0"`/check_db_safety; then
8 exit 1 7 exit 1
9 fi 8 fi