The notification when a PR is merged shows up pretty quickly.
We want to delay the thank you notification by a couple of minutes.
Issue No.2:
While testing the GH action earlier, we noticed that when the curl command was run to check if a user had previously contributed, it would throw an error if the user had special characters in their username.
We need to add a condition to account for that so the action doesn't fail.
There are two issues that this PR should solve
Issue No.1:
The notification when a PR is merged shows up pretty quickly. We want to delay the thank you notification by a couple of minutes.
Issue No.2:
While testing the GH action earlier, we noticed that when the curl command was run to check if a user had previously contributed, it would throw an error if the user had special characters in their username. We need to add a condition to account for that so the action doesn't fail.