Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix pr message to be optional #3

Merged
merged 2 commits into from
Aug 7, 2019
Merged

Fix pr message to be optional #3

merged 2 commits into from
Aug 7, 2019

Conversation

shawnnapora
Copy link
Contributor

Fixes #2

Copy link
Contributor

@damccorm damccorm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good catch

let staleMessage = isPr ? args.stalePrMessage : args.staleIssueMessage;
if (!staleMessage) {
continue;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Might be helpful to have a debug statement here saying we skipped something.

@shawnnapora shawnnapora merged commit 27d7ba7 into master Aug 7, 2019
@shawnnapora shawnnapora deleted the optional-pr branch August 7, 2019 13:32
jsoref added a commit to jsoref/stale that referenced this pull request Aug 11, 2023
https://github.com/jsoref/stale-bot-debug/actions/runs/5828506506/job/15806335430#step:2:56

Processing the batch of issues  actions#1  containing  3  issues...
::group::[actions#3] Pull request actions#3
[actions#3] Pull request actions#3
...
::group::[actions#2] Issue actions#2
[actions#2] Issue actions#2
...
::group::[actions#1] Issue actions#1
[actions#1] Issue actions#1
...
Batch  actions#1  processed.
No more issues found to process. Exiting...
Statistics:
Processed items: 3
├── Processed issues: 2
└── Processed PRs   : 1

Clearly this action sometimes understands that users do not view all
items as issues.

This change applies the `items` nomenclature to this initial logging.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Stale PR message required, but should be optional
2 participants