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

Adherent can not change committee if in recent election #10961

Merged
merged 4 commits into from
Nov 5, 2024

Conversation

Remg
Copy link
Contributor

@Remg Remg commented Nov 5, 2024

No description provided.

@Remg Remg force-pushed the change-repository-recent-election branch from df73763 to dff62f8 Compare November 5, 2024 13:20
@Remg Remg requested a review from ottaviano November 5, 2024 13:20
@Remg Remg self-assigned this Nov 5, 2024
@Remg Remg force-pushed the change-repository-recent-election branch from bba9f7f to 00444d8 Compare November 5, 2024 13:47
@Remg Remg force-pushed the change-repository-recent-election branch from 7e48bcd to 4a4a1e0 Compare November 5, 2024 15:09
@Remg Remg changed the title Adherent can not change repository if in recent election Adherent can not change committee if in recent election Nov 5, 2024
@Remg Remg merged commit 176ffac into master Nov 5, 2024
11 checks passed
@Remg Remg deleted the change-repository-recent-election branch November 5, 2024 15:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

2 participants