upd: manager fetch/push operation

[infra.git] / manager / push

diff --git a/manager/push b/manager/push
new file mode 120000 (symlink)
index 0000000..ef77e7f
--- /dev/null
+++ b/manager/push
@@ -0,0 +1 @@
+fetch
\ No newline at end of file