Tools: Update script

pull/2357/head
winlin 4 years ago
parent 9fb2b69212
commit b42bf496c7

@ -1,4 +1,4 @@
#!/bin/bash
for file in $(git remote); do echo ""; git push $file; done
for file in $(git remote); do echo ""; git push $file $@; done

Loading…
Cancel
Save