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.

Sign up for GitHub

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

Jump to bottom

feat: Disable short-name repository with config value #1227

Merged
merged 12 commits into from
Jun 27, 2022
Merged

feat: Disable short-name repository with config value #1227

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
1ee0c62
Support for disabling short-name repo
jrbeverly May 10, 2022
2350375
Documentation to reference this URL
jrbeverly May 10, 2022
575cb27
trailing new line
jrbeverly May 10, 2022
190e21d
Docs clarify
jrbeverly May 10, 2022
107fe90
Disclaimer
jrbeverly May 10, 2022
d1b2d66
tests fix
jrbeverly May 11, 2022
7e0c390
Use -z instead of -n
jrbeverly May 25, 2022
a3f2514
Invert boolean condition
jrbeverly Jun 4, 2022
4a54c45
Repurpose as disable flag instead of customization
jrbeverly Jun 23, 2022
286043b
feat: update config opt name & rewrite docs
jthegedus Jun 27, 2022
14b2f34
docs: update explanation of plugin repo sync
jthegedus Jun 27, 2022
772b9c6
Merge branch 'master' into asdf-opt-to-disable-short-name-repo
jthegedus Jun 27, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Merge branch 'master' into asdf-opt-to-disable-short-name-repo
  • Loading branch information
@jthegedus
jthegedus committed Jun 27, 2022
commit 772b9c66b3f211b758eda6411d19224baa6dc7b0

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.