You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: .github/policies/disallow-edits.yml
+9-4Lines changed: 9 additions & 4 deletions
Original file line number
Diff line number
Diff line change
@@ -44,7 +44,12 @@ configuration:
44
44
then:
45
45
- addReply:
46
46
reply: >-
47
-
Hello @${issueAuthor},
48
-
49
-
This PR will be closed because it edits files whose 'source of truth' is not in this repo. Instead, please make these documentation updates in the /// comments in the source repo (either dotnet/runtime or dotnet/extensions).
50
-
- closePullRequest
47
+
This PR edits files whose 'source of truth' for documentation is not in this repo. If you're editing the documentation, please make these updates in the /// comments in the source repo (either dotnet/runtime or dotnet/extensions) instead.
0 commit comments