I've had use it to configure Git repos for a force push:
git config receive.denynonfastforwards false
Now the address is not reachable:
ssh: connect to host shell.sourceforge.net port 22: Connection timed out
I know you have wanted to decommission the shell:
https://sourceforge.net/p/forge/site-support/27158/#584d
Our teams are not planning on updating the shell environment and actually will likely be decommissioning it soon.
But how now to configure a remote Git repository?
Hello,
All Git repos now have a Force push option available in the sidebar.
To access it, click the Git tab and look for the menu on the left labeled Admin – name_of_repo. Click it, then select Force push to enable force pushes for that repository.
Sincerely,
SourceForge Support