Michael Fudge

Ran out of repos.... am I doing this wrong?

5

I have a sandboxed repository setup of 40 students. I'm giving out 7 assignments. Right now my plan is 1 repo per student / assignment. = 280 repos. I was...

In V4 and V6 formats. Will be used for geoip lookups

Investigate why using the same AD group for Admin and pool causes the new pool button to disappear.

1

Ed's issue in Maxwell.

Bug: find a way to deal with multi-pool reservation cleanup.

1

There's an issue where reservations are not being cleaned up. This happens in multi-pool setups where all the seats have been reserved. I'm thinking we need to check for cleanup...

The server cannot find the jar file when trying to run in docker using itgz docker Minecraft server. The shell script is there but it doesn’t launch. Just wondering if...

No kernels installed

1

## Description ## Reproduce 1. Fork and deploy this repo 2. Deploy the site 3. Go to the site url 4. Marvel in the lack of any kernels being installed....

Consider removing the database provisioner and instead use a sidecar script with mssql-cli for python.

geocoder.osm calls fail with 403 need to set a custom user agent. please expose this as an argument https://help.openstreetmap.org/questions/74205/nominatim-usage-policy-http-referers-and-user-agents