init scripts

init

+#!/usr/bin/env bash
+remote_add () {
+	git remote add $1 https://git.cs.vsb.cz/vyuka-koz01/java-1/2021/$1.git
+}
+
+remote_add lab01
+remote_add lab02
+remote_add lab03
+remote_add lab04
\ No newline at end of file

publish

+#!/usr/bin/env bash
+
+push_remote () {
+	git push -f $1 $1:master
+}
+
+push_remote lab01
+push_remote lab02
+push_remote lab03
+push_remote lab04
\ No newline at end of file