chore: mention where to open issues and PRs

ooni · Mar 22, 2023 · a0b7b0a · a0b7b0a
1 parent eff043b
commit a0b7b0a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -4,3 +4,5 @@ Automatically exported from github.com/ooni/[email protected].
 
 This is a best effort attempt to export probe-cli internals to community members.
 
+We will ignore opened issues and PRs on this repository. You should
+use github.com/ooni/probe and github.com/ooni/probe-cli respectively.
diff --git a/script/autoexport.bash b/script/autoexport.bash
@@ -51,6 +51,8 @@ echo "Automatically exported from github.com/ooni/probe-cli@$tag." >> README.md
 echo '' >> README.md
 echo 'This is a best effort attempt to export probe-cli internals to community members.' >> README.md
 echo '' >> README.md
+echo 'We will ignore opened issues and PRs on this repository. You should' >> README.md
+echo 'use github.com/ooni/probe and github.com/ooni/probe-cli respectively.' >> README.md
 
 rm -rf .github/workflows
 mkdir -p .github/workflows
Original file line number	Diff line number	Diff line change
Expand Up		@@ -4,3 +4,5 @@ Automatically exported from github.com/ooni/[email protected].

		This is a best effort attempt to export probe-cli internals to community members.

		We will ignore opened issues and PRs on this repository. You should
		use github.com/ooni/probe and github.com/ooni/probe-cli respectively.