Chris Penner
Chris Penner
The metrics chart currently has several kubernetes health dashboards built in; but there are no dashboards built-in for monitoring wire services. The metrics for wire services are being scraped by...
## Overview Provides tab-completion for share users and namespaces for `push` and `pull`. ## Implementation notes * Calls out to the `search` and `namespace browse` apis for share when tab...
Related: https://github.com/unisonweb/homebrew-unison/pull/5 ## Overview What does this change accomplish and why? i.e. How does it change the user experience? Feel free to include "before and after" examples if appropriate. (You...
## Overview One half of https://github.com/unisonweb/unison/issues/3397 ; This will be more helpful after #3391 is merged since you won't need to wait for everything to load before being productive. We...
## Overview The reason UCM is slow to start up is that it always loads the entire root branch into memory before allowing any interaction. Ideally we'd not need to...
Currently the 'other names' are relative to the current perspective, but it's a pain to update those names when the perspective changes in the frontend. It would be better to...
Using Stew's giant codebase I notice that, even in a completely empty branch, getting a slurp printout after saving a scratch file with a single definition takes about 2s; on...
Referring to a named watch, then adding, triggers sqlite crash ```unison > named = 18 x = named ``` ```ucm .> add ⍟ I've added these definitions: x : Nat...
## How to contribute 1. Write up some awesome Unison code to solve a problem you have, or pick a contribution from the list in this issue 2. [Upload that...
I got a sqlite error when attempting this migration: ```ucm .blarg> pull-request.load git(https://github.com/unisonweb/base:v3):.trunk git(https://github.com/tarik-ozkanli/allmyunisoncode) 🔨 Migrating codebase to version 2... Starting codebase migration. This may take a while, it's a...