Skip to content

Sync labels ignore events#9

Merged
soehms merged 5 commits intosync_labelsfrom
sync_labels_ignore_events
Jun 1, 2023
Merged

Sync labels ignore events#9
soehms merged 5 commits intosync_labelsfrom
sync_labels_ignore_events

Conversation

@soehms
Copy link
Copy Markdown
Owner

@soehms soehms commented May 31, 2023

📚 Description

This PR removes the repository variable vars.SYNC_LABELS_BIDIRECT replacing it with vars.SYNC_LABELS_IGNORE_EVENTS. This enable a maintainer of the Sage repository to suspend the reaction of the bot on the events listed in the variable.

📝 Checklist

  • The title is concise, informative, and self-explanatory.
  • The description explains in detail what this PR is about.
  • I have linked a relevant issue or discussion.
  • I have created tests covering the changes.
  • I have updated the documentation accordingly.

⌛ Dependencies

@gitpod-io
Copy link
Copy Markdown

gitpod-io bot commented May 31, 2023

@github-actions
Copy link
Copy Markdown

Documentation preview for this PR (built with commit 04aa4c2) is ready! 🎉

@soehms
Copy link
Copy Markdown
Owner Author

soehms commented Jun 1, 2023

Test of new feature

Variable setting

grafik

Test

remove the s: needs review label which has been set automatically at opening of the PR:

grafik

Control

The unlabeled event has bben skipped:

grafik

@soehms soehms merged commit 947ed03 into sync_labels Jun 1, 2023
@soehms soehms deleted the sync_labels_ignore_events branch June 1, 2023 21:28
soehms pushed a commit that referenced this pull request Oct 9, 2023
soehms pushed a commit that referenced this pull request Jul 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant