Skip to content

Pull request template: FreydCategoriesForCAP -> AdditiveClosuresForCAP#1820

Open
TKuh wants to merge 1 commit intohomalg-project:masterfrom
TKuh:pull-request-template-additive-closure
Open

Pull request template: FreydCategoriesForCAP -> AdditiveClosuresForCAP#1820
TKuh wants to merge 1 commit intohomalg-project:masterfrom
TKuh:pull-request-template-additive-closure

Conversation

@TKuh
Copy link
Copy Markdown
Collaborator

@TKuh TKuh commented Mar 26, 2026

generate_documentation.g was moved from FreydCategoriesForCAP to AdditiveClosuresForCAP, so the pull request template needs to be updated accordingly.

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