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

fixes #888 removes jordinl #890

Merged
merged 2 commits into from
Mar 4, 2025
Merged

fixes #888 removes jordinl #890

merged 2 commits into from
Mar 4, 2025

Conversation

RobertKielty
Copy link
Contributor

No description provided.

Signed-off-by: Robert Kielty <[email protected]>
Copy link

clowarden bot commented Mar 4, 2025

Validation failed

‼️ Some errors were found validating the configuration files


Errors:

  • invalid github service configuration
    • error parsing permissions file
      • repositories[91]: duplicate field name at line 629 column 5

For more details about the configuration files format please see the documentation.

🔺 These errors must be addressed before this PR can be merged 🔺

Copy link

clowarden bot commented Mar 4, 2025

Validation succeeded

✅ The proposed configuration changes are valid!

Configuration changes

Github

  • user jordinl is no longer a collaborator of repository radar

🔸 Please review the changes detected as they will be applied immediately once this PR is merged 🔸

@RobertKielty RobertKielty merged commit c8cc689 into main Mar 4, 2025
4 checks passed
@RobertKielty RobertKielty deleted the rm-jordinl branch March 4, 2025 09:34
Copy link

clowarden bot commented Mar 4, 2025

Reconciliation completed

✅ The reconciliation completed successfully and all changes have been applied across the services!

Changes applied

Github

  • user jordinl is no longer a collaborator of repository radar

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.

1 participant