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: scripts/retire.sh
+2-2Lines changed: 2 additions & 2 deletions
Original file line number
Diff line number
Diff line change
@@ -182,9 +182,9 @@ for login in *; do
182
182
trace git commit -m "Automatic retirement of @$login"
183
183
effect git push -f -u origin "$branchName"
184
184
prNumber=$({
185
-
echo"This is an automated PR to retire @$login as a Nixpkgs committers due to not using their commit access for 1 year."
185
+
echo"This is an automated PR to retire @$login as a Nixpkgs committer because they have not used their commit access in the past year."
186
186
echo""
187
-
echo"Make a comment with your motivation to keep commit access, otherwise this PR will be merged and implemented in 1 month."
187
+
echo"@$login: You can make a comment stating why you believe your commit access should be kept. Otherwise, this PR will be merged and implemented in one month."
188
188
echo""
189
189
echo"> [!NOTE]"
190
190
echo -n "> Commit access is not required for most forms of contributing, including being a maintainer and reviewing PRs."
0 commit comments