Skip to content

New AUTHORS mechanism#10

Merged
jpchauvel merged 1 commit intomainfrom
new-authors-mechanism
Apr 22, 2024
Merged

New AUTHORS mechanism#10
jpchauvel merged 1 commit intomainfrom
new-authors-mechanism

Conversation

@jpchauvel
Copy link
Contributor

We always pull AUTHORS from the blog, but we allow to add AUTHORS directly on the site. Doesn't matter if they are repeated, it's handled.

@jpchauvel jpchauvel merged commit 4e95375 into main Apr 22, 2024
@jpchauvel jpchauvel deleted the new-authors-mechanism branch April 22, 2024 21:56
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.

2 participants