Skip to content

A bunch of maintenance - #81

Merged
michaeldenes merged 13 commits into
mainfrom
pixi
Aug 7, 2026
Merged

A bunch of maintenance#81
michaeldenes merged 13 commits into
mainfrom
pixi

Conversation

@VeckoTheGecko

@VeckoTheGecko VeckoTheGecko commented Aug 7, 2026

Copy link
Copy Markdown
Contributor
  • Migrate development workflow and CI to use Pixi
  • Add brief contributing instructions
  • Commit pixi.lock
  • Configure Renovate with a dependency dashboard and monthly Pixi lockfile bumping (with automerge)
    • This will only take effect post-merge

@VeckoTheGecko

Copy link
Copy Markdown
Contributor Author

That docs build fix was a gnarly find 😅

@VeckoTheGecko
VeckoTheGecko requested review from erikvansebille and michaeldenes and removed request for erikvansebille August 7, 2026 06:37

@michaeldenes michaeldenes left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thanks for doing this @VeckoTheGecko !

@michaeldenes
michaeldenes merged commit 1a76686 into main Aug 7, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants