# HG changeset patch
# User cathugger <cathugger@cock.li>
# Date 1516284764 0
# Node ID 79ed5d9678a81c30c9c03f6478b0554fb1ffbf28
# Parent  dfda92fd4ec3215362ed57889d02d7789224f590
something useless

diff -r dfda92fd4ec3 -r 79ed5d9678a8 scripts/update-git-remotes
--- a/scripts/update-git-remotes	Fri Nov 17 08:59:16 2017 +0000
+++ b/scripts/update-git-remotes	Thu Jan 18 14:12:44 2018 +0000
@@ -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