Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Don't update reports on pages containing {{database report}} #141

Merged
merged 3 commits into from
Sep 30, 2024

Conversation

siddharthvp
Copy link
Contributor

Minimal support for skipping pages containing {{nobots}}. Only pages with the exact string are skipped for now.

This enables community members to replace broken reports with ones based on {{Database report}}, without having to worry about the bot eventually overwriting the migrated (and possibly improved) queries. {{Database report}} makes the SQL community-controlled, making it easy to fix and enhance. The bot which updates the template-based reports doesn't honor {{nobots}}.

@legoktm
Copy link
Collaborator

legoktm commented Sep 25, 2024

Thanks, I'm totally supportive of the effort to move to {{database reports}}, but maybe we could just implement that and have the bot skip pages that have {{database reports|..}} instead of relying on nobots, which would then require more cleanup?

@siddharthvp
Copy link
Contributor Author

Yes, I suppose you are right to look for {{database report}} explicitly rather than go via {{nobots}}, so that it's less hacky from an on-wiki perspective. Updated.

dbreps2/src/lib.rs Show resolved Hide resolved
@legoktm legoktm changed the title Don't update reports on pages containing {{nobots}} Don't update reports on pages containing {{database report}} Sep 30, 2024
@legoktm
Copy link
Collaborator

legoktm commented Sep 30, 2024

Thanks :) let's give it a shot

@legoktm legoktm enabled auto-merge September 30, 2024 04:06
@legoktm legoktm requested a review from fee1-dead September 30, 2024 04:07
@legoktm
Copy link
Collaborator

legoktm commented Sep 30, 2024

Hmm, I think we need @fee1-dead to also approve (or remove the requested changes).

@legoktm legoktm merged commit 771579b into mzmcbride:main Sep 30, 2024
4 checks passed
@legoktm
Copy link
Collaborator

legoktm commented Sep 30, 2024

OK, should be deployed now and I added logging in a follow-up PR so we can remove migrated reports from here.

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