#bots
Tag

Commenting on Pull Requests with GitHub Actions

Jul 12, 2022 3 minute read #open-source, #github-actions, #bots, #automation

When someone opens a Pull Request (PR) on your GitHub project it can be helpful for a bot to comment on the PR. You might want to thank the user for the contribution, provide some useful information such as giving a binder link where folks can try out the PR, or providing more verbose output from some tests or other checks.
How to stop Google from scanning my site

Aug 28, 2014 1 minute read #google, #bots, #robots.txt

Sometimes there may be occasions where you don’t want Google (and other search engines) to scan some or all of your website.

Commenting on Pull Requests with GitHub Actions