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.

Sign up for GitHub

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

Jump to bottom

Investigate how to set up IP/domain filtering for non-maintainers #621

Open
favonia opened this issue Oct 24, 2023 · 1 comment
Open

Investigate how to set up IP/domain filtering for non-maintainers #621

favonia opened this issue Oct 24, 2023 · 1 comment
Labels
help wanted Extra attention is needed low priority This is low priority next: learn technical info The next step is to learn more technical details testing Related to testing
Milestone
near future

Comments

@favonia
Copy link
Owner

favonia commented Oct 24, 2023 •
edited

Currently, GitHub actions not initiated by me (for example, dependabot) seem to block all external IP and domains. For now, the checking is made optional so that the CI would work.
@favonia favonia added the testing Related to testing label Oct 24, 2023
@favonia favonia changed the title Relax the IP filtering mechanism when someone makes a PR Relax the IP/domain filtering mechanism when someone makes a PR Oct 24, 2023
@favonia favonia added help wanted Extra attention is needed next: design brainstorming The next step is to reflect upon the information and come up with a good design labels Oct 24, 2023
@favonia
Copy link
Owner Author

favonia commented Oct 24, 2023 •
edited

Actually I'm not sure what was going on. id-token: write is already present.

@favonia favonia changed the title Relax the IP/domain filtering mechanism when someone makes a PR Investigate how to set up IP/domain filtering for non-maintainers Oct 24, 2023
@favonia favonia added this to the near future milestone Nov 6, 2023
@favonia favonia added low priority This is low priority next: learn technical info The next step is to learn more technical details and removed next: design brainstorming The next step is to reflect upon the information and come up with a good design labels Mar 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
help wanted Extra attention is needed low priority This is low priority next: learn technical info The next step is to learn more technical details testing Related to testing
Projects
None yet
Milestone
near future
Development

No branches or pull requests
1 participant
@favonia