Re:GitHub push protection is free for all public repositories
by darthbanane on Thursday May 11, 2023 @01:26AM
(#35897942)
Yeah I'm not saying this is not a net positive. I just don't understand why the recommendation reads like all is good as long as one amends the commit and nothing just happened.
[ Parent
| on HN ]
Re:GitHub push protection is free for all public repositories
by bmitc on Thursday May 11, 2023 @08:35PM
(#35910343)
That makes sense. I think it's just an extra step of protection, kind of like an alert that someone may have seen your ATM pin, so it's probably best to rotate it. But, your pin wasn't posted on the Internet.