#SHA pinning

actions-cool Came Back With the Old Tags

actions-cool issues-helper and maintain-one-comment were live again from Sept. 16. May 18 tags were still malicious. Older SHA pins were spared.