| commit | 5d81d67e9fdd26b49f1254ee50d8a3b80f6b7eb3 | [log] [tgz] |
|---|---|---|
| author | Daniel Gruno <humbedooh@apache.org> | Thu Feb 09 12:19:19 2023 +0100 |
| committer | GitHub <noreply@github.com> | Thu Feb 09 12:19:19 2023 +0100 |
| tree | 8565cf65ea2b4d3d693d0b42b211f82361398475 | |
| parent | ea2455acb9b53e8fec65c5dcb18d199af90dcd9a [diff] |
Create known-robots.txt
diff --git a/known-robots.txt b/known-robots.txt new file mode 100644 index 0000000..5776b61 --- /dev/null +++ b/known-robots.txt
@@ -0,0 +1,2 @@ +# This is a list of GitHub userIDs that are known to be bots +codecov-commenter