trixi-framework/Trixi.jl

Shorten package extension names as per the Pkg docs

Open

#2,543 opened on Sep 1, 2025

View on GitHub
 (1 comment) (0 reactions) (0 assignees)Julia (153 forks)batch import
good first issuerefactoring

Repository metrics

Stars
 (686 stars)
PR merge metrics
 (Avg merge 9d 1h) (37 merged PRs in 30d)

Description

Since (I believe) v1.10, it is not necessary to include the parent package name in the extension package name. From the Pkg docs:

Extensions can have arbitrary names (here ContourExt), following the format of this example is likely a good idea for extensions with a single dependency. In Pkg output, extension names are always shown together with their parent package name.

Contributor guide