14 Commits (80f939cf1ac3fe9863825de1360ee7c5d67926f6)

Author SHA1 Message Date
Alexander Graf 669d8da9ac fixed workflow example in documentation
use "git remote add" instead of "git add remote"
4 years ago
kaiyou 13d7dbdde5 Remove references to individuals in the docs 6 years ago
Tim Möhlmann a731e04670
Update docs on review dissmissal and automatic rebuilds 6 years ago
Tim Möhlmann a9d368d2c9
Fix typo in docs 6 years ago
Tim Möhlmann 33db705194
Use bors-ng to create and upload test images
- Reinstate Travis deploy phase
- Better labeling of Mergify rules
- Automatic `bors try` by Mergify
- Explain bors in comment message
- Skip push for staging branch
- Re-update docs to current situation
6 years ago
Tim Möhlmann faca9983a8
Automatic creation of review images
- Enable bors-ng for better merging
- Re-enable mergify with a fixed up syntax, it will now only issue bors commands.
- Pull request build images are now pushed to docker hub
- Automatic backport rule
- Fix build tag for branches with slash (/)
- Only push when master and 1.6 target branch
6 years ago
Dario Ernst 03ee3aa918 Fix typo in contributor docs 6 years ago
Tim Möhlmann 2576379df5
Dev. docs.: Add git workflows for branching, PR and reviewing 6 years ago
mergify[bot] f2c4e52fee
Merge pull request #664 from kaiyou/feat-docs-versions
Implement a multi-version documentation
6 years ago
Tim Möhlmann 4ccefd6d5e
Documentation update on local docs container 6 years ago
Tim Möhlmann b38deb18cf
Update Dev-docs to use build.yml for building 6 years ago
Tim Möhlmann 73add1b428
Documentation on running a local docs container 6 years ago
kaiyou ca2cc4fc24 Add some details about the development environment 7 years ago
kaiyou f8a6c8a415 Add contributors documentations 7 years ago