References

Stream: combinatorial-games

[Violeta Hernández]

Is there any way we can set up a .bib page in our repository?

[Kim Morrison]

You might need to specify what you want from it. Committing references.bib to the repository may be all you need. Beyond that, start copying pasting Mathlib automation that mentions references.bib. If others are doing similarly, we should package that automation as github actions.

[Violeta Hernández]

I believe docgen can make use of the bib file?

[Violeta Hernández]

That's mostly what I want

[Malvin Gattinger]

I had the same question and learned now that indeed just adding a .bib file is enough. However, it needs to be in the right place. For my project this was in docbuild/docs/references.bib because the CI making the docs runs in the docbuild subfolder and docs/references.bib is hard-coded here in doc-gen4.
Maybe you have the same setup in the combinatorial-games project, as you also have a docbuild folder? Anyway, in case it helps you here is the commit adding the .bib file in my project and this is the result.