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

chore: remove obsolete entries from allow-git in .deny.toml #7032

Merged

Conversation

brody4hire
Copy link
Contributor

@brody4hire brody4hire commented Jan 30, 2025

Connections

Discovered while working on other PR: #7031

The remaining entry is removed by other recent PR: #7033

NOTE: After this PR together with #7033 we could completely remove allow-git from . deny.toml, but I think we should leave it in case it is possibly needed someday (again) in the future.

Description

Remove items no longer needed from allow-git:

From git log -p it looks to me like references to these repositories have been

Testing

  • TODO: check CI results ✅

Checklist

N/A

@brody4hire brody4hire marked this pull request as ready for review January 30, 2025 07:03
@brody4hire brody4hire requested a review from a team as a code owner January 30, 2025 07:03
@nical nical enabled auto-merge (squash) January 30, 2025 08:43
auto-merge was automatically disabled January 30, 2025 09:03

Head branch was pushed to by a user without write access

@brody4hire brody4hire force-pushed the remove-obsolete-allow-git-entries branch from 69813b5 to ff95a1f Compare January 30, 2025 09:03
@ErichDonGubler ErichDonGubler merged commit 8773d47 into gfx-rs:trunk Jan 30, 2025
31 checks passed
@brody4hire brody4hire deleted the remove-obsolete-allow-git-entries branch January 30, 2025 17:15
davnotdev pushed a commit to davnotdev/wgpu that referenced this pull request Mar 4, 2025
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.

3 participants