Skip to content

Conversation

@lkastner
Copy link
Member

@lkastner lkastner commented Dec 9, 2025

I added some developers contact info for the matroid part of Oscar, as these are not very active on slack, so that questions may reach them directly.

ping: @Sequenzer @danteluber @LukasKuehne @bschroter

Please let me know if you don't want to be on there, but I think at least the original designers of this part should be here. Those that also wrote the book chapter on matroids.

Also ping @ulthiel since this was triggered by your question. ;)

@lkastner lkastner added the release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes label Dec 9, 2025
@lgoettgens lgoettgens added the documentation Improvements or additions to documentation label Dec 9, 2025
@ulthiel
Copy link
Contributor

ulthiel commented Dec 9, 2025

What about developers of the graphs part? https://docs.oscar-system.org/stable/Combinatorics/graphs/

@lkastner
Copy link
Member Author

lkastner commented Dec 9, 2025

What about developers of the graphs part? docs.oscar-system.org/stable/Combinatorics/graphs

I don't understand this question. Sure, I can add them, but there are many other parts without authors in the docs too. This is definitely a different scope than the original PR. The thing that is special about the matroids is that these developers are not very active on slack, which is different for graphs.

@ulthiel
Copy link
Contributor

ulthiel commented Dec 10, 2025

Don't know. For example at the bottom of https://docs.oscar-system.org/stable/InvariantTheory/intro/ one can find persons responsible for the part. I thought that's a general thing. Maybe not then.

Copy link
Member

@joschmitt joschmitt left a comment

Choose a reason for hiding this comment

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

I approve this, so you can merge it at your discretion, @lkastner, once you found out whether these people want to be on that list.

@lkastner
Copy link
Member Author

Ping @dcorey2814

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation release notes: not needed PRs introducing changes that are wholly irrelevant to the release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants