devos-merge/230921 #25

Merged
b12f merged 13 commits from refs/pull/25/head into master 2021-09-23 11:04:20 +00:00

13 commits

Author SHA1 Message Date
Benjamin Bädorf 83167ec524
Merge branch 'devos' 2021-09-23 12:47:43 +02:00
Chris Montgomery e5660cdf83 ci: remove lingering references to main in workflow configs
`main` is no longer in use.

See #369
2021-09-20 08:10:55 -05:00
Chris Montgomery 95f89c0b44 docs: use single quotes in example to avoid shell expansion 2021-09-20 08:10:31 -05:00
Chris Montgomery ccf160dd21 docs: deploy command example is run from repo root 2021-09-20 08:10:31 -05:00
Chris Montgomery 0770c7f900 docs: bud get creates a directory named devos by default
As mentioned in #370 it would not result in a directory called `bud`, as
can be seen in the custom `get.bash` command where the directory name
defaults to `devos`.
2021-09-20 08:10:31 -05:00
Chris Montgomery 252769ce46 ci: update release workflow to checkout code from master branch 2021-09-20 08:10:31 -05:00
Chris Montgomery 57a14bb411 docs: update links to point to master instead of core 2021-09-20 08:10:31 -05:00
Chris Montgomery 19666a06a7 fix: bud get should init flake based off master 2021-09-20 08:10:31 -05:00
Chris Montgomery 955b9ce1c1 docs(bud): replace references to flk 2021-09-20 08:10:31 -05:00
Timothy DeHerrera f13c11ea17
README.md: fix broken links 2021-09-19 11:17:01 -06:00
Chris Montgomery c3461cd2c3 docs: master is the current target branch for pull requests 2021-09-19 07:32:52 -05:00
Chris Montgomery 54a9a8366e ci: workflows on main push should trigger on master push 2021-09-19 07:32:52 -05:00
Anton a3b2bcf3d5 fix typo in CONTRIBUTING.md 2021-09-18 09:20:09 -05:00