use actual public urls#17

Merged

brecht-vermeersch merged 5 commits intomainfrom

use-actual-public-urls

Sep 25, 2025

Commits on Aug 8, 2025

use actual public urls
brecht.vermeersch
committed
Merge remote-tracking branch 'origin/main' into use-actual-public-urls
brecht.vermeersch
committed

Commits on Aug 12, 2025

fix deep list contents not returning directories (#16)

brecht-vermeersch
and
brecht.vermeersch
authored

Commits on Sep 25, 2025

use actual public urls
brecht.vermeersch
committed
Merge remote-tracking branch 'origin/use-actual-public-urls' into use-actual-public-urls
brecht.vermeersch
committed