-
Notifications
You must be signed in to change notification settings - Fork 126
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
CI: make CI run #128
CI: make CI run #128
Conversation
ive done that copy/paste a million times. Do we want to standardize this convention? Personally i prefer the hidden dir with the . prefix |
For the location of CI envs? |
Very much yes! I prefer non-hidden, but don't have a strong opinion on it (for once :P). |
I'd also prefer non-hidden but equally don't care. |
it's always felt more like an auxiliary directory to me, only useful for the cloud-based workflows, not the 'user', so it feels natural to hide it just like the .github dir to clean up the structure a bit But i also dont feel very strongly about it--and im already outvoted, so just fine to change |
Let's one of use make an issue for this in the submodule template to not forget. Then we can get started standardizing the repos. |
I'm using those to setup my dev envs because these are more likely up to date than some dev env file created 4 years ago :). |
Minor update trying to make CI run again. Now it fails on install.