None of this makes any sense to me. If you are doing a normal git push it should work because that's the only thing I tried.