We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 69e8084 + f83baa1 commit 0b5ce56Copy full SHA for 0b5ce56
1 file changed
scripts/retire.sh
@@ -127,12 +127,12 @@ for login in *; do
127
effect gh pr ready --repo "$ORG/$MEMBER_REPO" "$prNumber"
128
{
129
if (( activityCount > 0 )); then
130
- echo "One month has passed, @$login has been active again:"
+ echo "One month has passed, and @$login has been active again:"
131
cat "$tmp/$login"
132
echo ""
133
echo "If still appropriate, this PR may be merged and implemented by:"
134
else
135
- echo "One month has passed, to this PR should now be merged and implemented by:"
+ echo "One month has passed, so this PR should now be merged and implemented by:"
136
fi
137
echo "- Adding @$login to the [Retired Nixpkgs Contributors team](https://github.com/orgs/NixOS/teams/retired-nixpkgs-contributors)"
138
echo ' ```sh'
0 commit comments