Skip to content

Adds gh action to warn if changes are made to db files#365

Open
bdc34 wants to merge 12 commits into
developfrom
bdc34/db-file-warning-gh-action
Open

Adds gh action to warn if changes are made to db files#365
bdc34 wants to merge 12 commits into
developfrom
bdc34/db-file-warning-gh-action

Conversation

@bdc34

@bdc34 bdc34 commented Apr 30, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions

Copy link
Copy Markdown

[!WARNGING] Changes to the db files should be done using code generation tools. See .

@github-actions

Copy link
Copy Markdown

[!WARNING] Changes to the db files should be done using code generation tools. See How to generate.

@github-actions

Copy link
Copy Markdown

⚠️ ⚠️ Changes to the db files should be done using code generation tools. See How to generate.

@github-actions

Copy link
Copy Markdown

⚠️ ⚠️ ⚠️
Do not manually change the db files!
Changes to the db files must be done using code generation tools.
Only accept this PR if the changes to the file under arxiv/db were done with the code gen tools or are unrelated to the db schema.
See How to generate.

@bdc34

bdc34 commented Apr 30, 2025

Copy link
Copy Markdown
Contributor Author

test of heading

@github-actions

Copy link
Copy Markdown

⚠️ ⚠️ ⚠️

Do not manually change the db files!**

Changes to the db files must be done using code generation tools.

Only accept this PR if the changes to the file under arxiv/db were done with the code gen tools or are unrelated to the db schema. See How to generate.

⚠️ ⚠️ ⚠️

@github-actions

Copy link
Copy Markdown

⚠️ ⚠️ ⚠️

Do not manually change the db files!

Changes to the db files must be done using code generation tools.

Only accept this PR if the changes to the file under arxiv/db were done with the code gen tools or are unrelated to the db schema. See How to generate.

⚠️ ⚠️ ⚠️

@ntai-arxiv ntai-arxiv left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Thank you!

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.

3 participants