Skip to content

Update veer repos & details#294

Merged
mgielda merged 1 commit into
mainfrom
update-veer-repos
May 21, 2026
Merged

Update veer repos & details#294
mgielda merged 1 commit into
mainfrom
update-veer-repos

Conversation

@mgielda
Copy link
Copy Markdown
Member

@mgielda mgielda commented May 21, 2026

Use the main "VeeR" repo as contact point, fix typo, add known users, add Guineveer.

Copy link
Copy Markdown
Contributor

@tmichalak tmichalak left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@mgielda mgielda merged commit b8cd253 into main May 21, 2026
2 checks passed
@mgielda mgielda deleted the update-veer-repos branch May 21, 2026 11:11
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