#27658 need to remove a bad commit

[Kenneth Lorber]

We need to undo a bad commit; we need to "git reset --hard" branch NetHack-5.0 to 17ae93100; or we need to temporarily allow a nonfastforward push.

(Or please point me to documentation for how to do this myself.)

Thanks!

[SourceForge Support]

Hello,

Thank you for reaching out.

Our team made some changes and you can do a non-fast-forward push now. 
When you're finished, please let us know if you want us to set it back to disallowed.

Sincerely,

SourceForge Support

[Kenneth Lorber]

All done, thank you. Yes, please set it back to disallowed.

On May 13, 2026, at 4:58 PM, SourceForge Support sf-support@users.sourceforge.net wrote:

Hello,

Thank you for reaching out.

Our team made some changes and you can do a non-fast-forward push now.
When you're finished, please let us know if you want us to set it back to disallowed.

Sincerely,

SourceForge Support

[site-support:#27658] https://sourceforge.net/p/forge/site-support/27658/ need to remove a bad commit

Status: open
Created: Wed May 13, 2026 08:24 PM UTC by Kenneth Lorber
Last Updated: Wed May 13, 2026 08:24 PM UTC
Owner: nobody

We need to undo a bad commit; we need to "git reset --hard" branch NetHack-5.0 to 17ae93100; or we need to temporarily allow a nonfastforward push.

(Or please point me to documentation for how to do this myself.)

Thanks!

Sent from sourceforge.net because you indicated interest in https://sourceforge.net/p/forge/site-support/27658/

To unsubscribe from further messages, please visit https://sourceforge.net/auth/subscriptions/

[SourceForge Support]

Hi,

Thank you for your feedback, we have set it back to disallowed.
With your issue resolved, this ticket will be closed.

Sincerely,
SourceForge Support