Tony Hirst

Is the DIY https://github.com/yuvipanda/git-credential-helpers approach still the best way to support pulling from private repos, or have things moved on in best practice one-way distribution of private repo files where...

I also still like the idea of this interaction, although if the push is to a hidden Github repo, which I take to be a *private* Github repo, then how...

@rossjone Yes, exactly that sort of thing. (The filters are for on-use; I was just thinking about the aggregation bit/getting stuff onto the wire. If folk are using CKAN, Socrata,...

Open Refine recipes/vignettes, especially for "standardised" data formats? eg http://schoolofdata.org/2013/07/26/using-openrefine-to-clean-multiple-documents-in-the-same-way/

I also got this error occurs when trying to run this repo in MyBinder. The issue there was an outdated `ipywidgets` package, fixed by creating a `requirements.txt` file with the...

In my use case, the assets need to be delivered as a zip file with the index.html at the root and as the only entry point. (The use case is...

So would the idea of `jupyterlite_apps` be to allow just the installation of eg "retro"? It would also be useful to have a setting for `collaborative`.

Text files (eg `.md` documents) other than `ipynb` files are not copied over to the distribution `lite/files/` path in Jupyter Book `_build/html`. I can't offhand see a setting in Jupyter...

Another possibly useful config setting would be a list of prebuilt extension wheels in a specified directory or URL that could then be automatically built into the environment.

I started trying to hack something together to load files in "locally" in JupyterLite: ```python import pyodide, sys PATH = "1_Having_a_go_at_it/" # Ideally we'd be able to pick up a...