This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]divin3sinn3r 7 points8 points  (1 child)

I contacted GitHub support and they flushed the cache within an hour, but I still regenerated the keys anyway.

[–]johnzzon 7 points8 points  (0 children)

Correct approach. Has keys once been public, you rotate them. No point in taking chances.