diff options
Diffstat (limited to 'topics/notebooks')
| -rw-r--r-- | topics/notebooks/binderlite-cli.gmi | 8 | ||||
| -rw-r--r-- | topics/notebooks/reproducibility.gmi | 6 |
2 files changed, 14 insertions, 0 deletions
diff --git a/topics/notebooks/binderlite-cli.gmi b/topics/notebooks/binderlite-cli.gmi index fede6f4..81e6db8 100644 --- a/topics/notebooks/binderlite-cli.gmi +++ b/topics/notebooks/binderlite-cli.gmi @@ -1,5 +1,13 @@ # CLI Features +## Tags + +* assigned: jgart +* priority: low +* status: unclear +* type: feature-request +* keywords: bindelite, notebooks + ## Admin * Clear Database diff --git a/topics/notebooks/reproducibility.gmi b/topics/notebooks/reproducibility.gmi index 8d565a1..7219539 100644 --- a/topics/notebooks/reproducibility.gmi +++ b/topics/notebooks/reproducibility.gmi @@ -14,3 +14,9 @@ https://github.com/fonsp/Pluto.jl#built-in-package-manager https://mybinder.readthedocs.io/en/latest/tutorials/reproducibility.html#pin-dependencies +## Tags + +* type: documentation +* priority: medium +* assigned: jgart +* keywords: documentation, notebooks, reproducibility, guix |