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