Commit ac69b167 authored by Robert Ricci's avatar Robert Ricci

Add a push to the master branch on the remote

This assumes you have set up some trivial master branch in the local.

Makes GitLab happy; otherwise, without a master branch, it treats the
repo as uninitialized
parent bc2f6b5f
......@@ -6,3 +6,4 @@ my ($student) = @ARGV;
system "git remote add $student git\$student";
system "git fetch $student";
system "git push $student master:master";
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment