Jake Gillberg

I have been ripped away from my beloved development environment by a new job, so I am unlikely to create this pull request anytime soon, leaving this here in case...

Any workarounds for this? Having to wait ~10mins for each interactive editor call while trying to implement #81

For now I just commented out the portions of `elba.toml` that aren't needed for the pieces that I am working on. This seems like a fine workaround for contribution edits...

Would it make sense to have the build process commit the ibcs to a branch called "compiled" or something?

Any updates on this?

looks like the plan is to stick to megaparsec < 9: https://github.com/idris-lang/Idris-dev/issues/4826

ping, any update on where this discussion went (if anywhere)?

I'm having the same issue on both 4.0.3 and 4.0.2 when trying to run the container as user `shiny`

Hmm, just tried to test after adding the below to `install_rstudio.sh`: ```bash chown -R root:root /var/lib/rstudio-server chmod -R g=u /var/lib/rstudio-server ``` I'm still getting the error: ``` test_shiny | s6-mkdir:...

I agree that we should have some sort of member registry. My current extension allows anyone with RHOCs to vote, regardless of member status. (I would like to modify this...