You can retroactively reward your contributors for their valuable work, whether it's creating a good pull request or opening a helpful issue.

To tip the author of a pull request or an issue, simply comment with a /tip $amount command, and we'll handle the rest for you.

In addition, you can also tip any Github user by directly specifying their username as in /tip $amount @user