Skip to content
Snippets Groups Projects

feature: add plugins query

Merged Konstantin D requested to merge derevtsov/plugins into main

Summarize the changes

RFC: https://docs.google.com/document/d/1zfpo-oaprdQGvxXuJbnFMEhvM3Ug_8qFY9sftU2MIJs

PLUGIN RFC: https://docs.google.com/document/d/1QMFXWhrSJ9VLFNX-jayHCzG8jk01VwtOuTOzooBBsOA/edit#heading=h.ue9yhktcy3oc

Picodata issue: picodata#664 (closed)

Picodata mr: picodata!1163 (merged)

New queries:

  • CREATE PLUGIN
  • DROP PLUGIN
  • ALTER PLUGIN ENABLE
  • ALTER PLUGIN DISABLE
  • ALTER PLUGIN MIGRATE TO
  • ALTER PLUGIN ADD TIER
  • ALTER PLUGIN REMOVE TIER
  • ALTER PLUGIN SET (config key value)

Ensure that

  • New code is covered by unit and integration tests.
  • Related issues would be automatically closed with gitlab's closing pattern (Closes #1, #2).
  • Public modules are documented (check the rendered version with cargo doc --open).
  • (if PEST grammar is changed) EBNF grammar reflects these changes (check the result with railroad diagram generator.

Next steps

Edited by Yaroslav Dynnikov

Merge request reports

Loading
Loading

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
  • Loading
Please register or sign in to reply
Loading