diff options
| author | cathugger <cathugger@cock.li> | 2018-01-18 14:12:44 +0000 |
|---|---|---|
| committer | cathugger <cathugger@cock.li> | 2018-01-18 14:12:44 +0000 |
| commit | fda6593d00fd57b39c628b1b944654d1fb90a7b0 (patch) | |
| tree | 0435385ae1c8e373953fa5340479360db296720d | |
| parent | 381a3cac3bb721389d73aab4f92d31ed37d36db0 (diff) | |
| download | resdb-fda6593d00fd57b39c628b1b944654d1fb90a7b0.tar.gz resdb-fda6593d00fd57b39c628b1b944654d1fb90a7b0.zip | |
something useless
| -rwxr-xr-x | scripts/update-git-remotes | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/update-git-remotes b/scripts/update-git-remotes index cf4782c..d01a0eb 100755 --- a/scripts/update-git-remotes +++ b/scripts/update-git-remotes @@ -1,7 +1,6 @@ #!/bin/sh # -# Creates git remotes from the user db -# TODO: detect users' git address changes +# Synchronizes git remotes with the user db # if ! `dirname "$0"`/check_db_safety; then |