To push to the salsa repository, these are the commands:

First put yourself on the main branch.

% git checkout main

Then issue the following commands:

% git push salsa main --follow-tags
% git push salsa upstream --follow-tags
% git push salsa pristine-tar --follow-tags

