Lock merged PRs and closed issues after a day (#753)
Lock merged PRs and closed issues after a day (#753)

This will curb spam.
google/exposure-notifications-verification-server,google/exposure-notifications-verification-server,google/exposure-notifications-verification-server,google/exposure-notifications-verification-server