From ad0d6c6d969a8b6f672648c84ff300b387706a39 Mon Sep 17 00:00:00 2001 From: Luke Faccin <79387068+lukefaccin@users.noreply.github.com> Date: Fri, 21 Nov 2025 09:02:47 +1100 Subject: [PATCH] docs: github plugin usage Provide additional example plugin usages for versioning and branch control. Signed-off-by: Luke Faccin <79387068+lukefaccin@users.noreply.github.com> --- docs/devbox/guides/plugins/index.mdx | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/docs/devbox/guides/plugins/index.mdx b/docs/devbox/guides/plugins/index.mdx index 8f920a7..bec5c6f 100644 --- a/docs/devbox/guides/plugins/index.mdx +++ b/docs/devbox/guides/plugins/index.mdx @@ -55,10 +55,21 @@ Sometimes, you may want to share a plugin across multiple projects or users. In provide a Github reference to a plugin hosted on Github. To install a github hosted plugin, add the following to the include section of your devbox.json +Default - `master` branch: ``` "include": [ "github:/?dir=" ] ``` +Branch override: +``` + "include": [ "github://?dir=" ] +``` + +Git Tag Pinning: +``` + "include": [ "github://tags/?dir=" ] +``` + Note that Devbox will cache Github plugins for 24 hours. This is to aid performance of `devbox shell` and similar commands, and avoids downloading the plugin from Github each time. In extenuating circumstances, you can bypass this cache by setting