Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: migrate docs repo into this repo #2237

Merged
merged 341 commits into from
Jun 1, 2024
Merged

chore: migrate docs repo into this repo #2237

merged 341 commits into from
Jun 1, 2024

Conversation

jdx
Copy link
Owner

@jdx jdx commented Jun 1, 2024

mise-en-dev and others added 12 commits May 19, 2024 23:05
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
* Update java.md

Added a short explanation about how to force unavailable java version to exist in mise. 
Very hacky. 
Once I'll have some free time I'll create a PR with an actual solution to allow this functionality.

* Update java.md

---------

Co-authored-by: jdx <[email protected]>
git-subtree-dir: docs
git-subtree-mainline: c111e44
git-subtree-split: 6ea2d92
@jdx jdx changed the title docs chore: migrate docs repo into this repo Jun 1, 2024
@jdx jdx marked this pull request as ready for review June 1, 2024 15:40
@jdx jdx force-pushed the docs branch 6 times, most recently from 78a1a18 to 59ee662 Compare June 1, 2024 16:08
Copy link

codacy-production bot commented Jun 1, 2024

Coverage summary from Codacy

See diff coverage on Codacy

Coverage variation Diff coverage
-0.02% 100.00%
Coverage variation details
Coverable lines Covered lines Coverage
Common ancestor commit (62e67fa) 16760 13653 81.46%
Head commit (1f230d0) 16743 (-17) 13636 (-17) 81.44% (-0.02%)

Coverage variation is the difference between the coverage for the head and common ancestor commits of the pull request branch: <coverage of head commit> - <coverage of common ancestor commit>

Diff coverage details
Coverable lines Covered lines Diff coverage
Pull request (#2237) 2 2 100.00%

Diff coverage is the percentage of lines that are covered by tests out of the coverable lines that the pull request added or modified: <covered lines added or modified>/<coverable lines added or modified> * 100%

See your quality gate settings    Change summary preferences

Codacy will stop sending the deprecated coverage status from June 5th, 2024. Learn more

Copy link

github-actions bot commented Jun 1, 2024

Code Coverage

Package Line Rate Complexity Health
src.backend 78% 0
src 87% 0
src.cli 83% 0
src.cli.alias 89% 0
src.cli.args 97% 0
src.cli.backends 95% 0
src.cli.cache 95% 0
src.cli.config 92% 0
src.cli.direnv 80% 0
src.cli.generate 87% 0
src.cli.plugins 86% 0
src.cli.settings 93% 0
src.cli.sync 29% 0
src.cli.tasks 71% 0
src.config.config_file 89% 0
src.config 87% 0
src.plugins 90% 0
src.plugins.core 56% 0
src.shell 98% 0
src.toolset 86% 0
src.ui 64% 0
Summary 81% (13636 / 16743) 0

@jdx jdx merged commit 7f6c51d into main Jun 1, 2024
34 checks passed
@jdx jdx deleted the docs branch June 1, 2024 22:57
triarius pushed a commit to triarius/mise that referenced this pull request Sep 18, 2024
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.