Michael D. George

RingOrder for types with decidable equality

2

I'm interested in working with ordered rings with decidable equality (in particular, I would like to show that the field of fractions of an ordered ring is also ordered in...

Term capabilities for gnome-terminal

1

I'm using gnome terminal, and `$TERM` returns `xterm-256color`. It seems like links are supported, but it looks like the default `Terminal()` object sets `ansiHyperlinks` to `false`.

[package-alt] refactor dependencies to object-based design

1

## Description Describe the changes or additions included in this PR. ## Test plan How did you test the new or updated feature? --- ## Release notes Check each box...

Mdgeorge/pkg alt extract parser

1

## Description Describe the changes or additions included in this PR. ## Test plan How did you test the new or updated feature? --- ## Release notes Check each box...

Tests and tweaks for implicit deps

2

## Description Forgot to commit the tests and reviewer responses in #21710! ## Test plan How did you test the new or updated feature? --- ## Release notes Check each...

Mdgeorge/pkg alt schema

1

## Description Describe the changes or additions included in this PR. ## Test plan How did you test the new or updated feature? --- ## Release notes Check each box...

[package-alt] consolidate environment determination on the sui side

1

## Description We now use the same code everywhere to determine the environment to use for package loading/building: - check for an explicit environment name - try the CLI's active...

Mdgeorge/pkg alt user docs

1

## Description Describe the changes or additions included in this PR. ## Test plan How did you test the new or updated feature? --- ## Release notes Check each box...