[tor-commits] [gettor/master] Extend script to update gitlab remote