-
Ondřej Surý authored
Explicitly push into same named branch at the remote instead of relying on whatever branch settings the git config might have
8afeda64
Explicitly push into same named branch at the remote instead of relying on whatever branch settings the git config might have