Skip to content

Add GitHub meta information: dependabot, pull request template, and CI - #12

Merged
Ivorforce merged 1 commit into
godotengine:mainfrom
Ivorforce:gh-meta
Aug 4, 2026
Merged

Add GitHub meta information: dependabot, pull request template, and CI#12
Ivorforce merged 1 commit into
godotengine:mainfrom
Ivorforce:gh-meta

Conversation

@Ivorforce

@Ivorforce Ivorforce commented Oct 12, 2025

Copy link
Copy Markdown
Member

Taken verbatim from https://github.com/godotengine/godot-docs/tree/master/.github (aside from changing the template).

I figured all of those were relevant here as well. The sphinx build CI isn't added yet because it's currently erroring. That can be added in a follow-up PR.

@Ivorforce Ivorforce added enhancement New feature or request github_actions Pull requests that update GitHub Actions code labels Oct 12, 2025
@Ivorforce
Ivorforce force-pushed the gh-meta branch 4 times, most recently from 5aa288a to af40d7b Compare October 12, 2025 23:02
@Mickeon

Mickeon commented Aug 4, 2026

Copy link
Copy Markdown
Member

To be honest it would be lovely to have a shared "source of truth" so that both repositories are always guaranteed to have an up-to-date set of rules.

@Ivorforce

Copy link
Copy Markdown
Member Author

I don't think that's necessary. Copying them around a few times isn't super hard and allows us to iterate the two on their own terms.

@Mickeon Mickeon left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Sure. I still think this PR is relevant and I consent to it myself. Especially after:

@Ivorforce
Ivorforce merged commit be0ecef into godotengine:main Aug 4, 2026
@Ivorforce

Copy link
Copy Markdown
Member Author

Thanks!

@Ivorforce
Ivorforce deleted the gh-meta branch August 4, 2026 18:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants