15 Commits (00b78b73507fe63cbde1b2964711cde08088399f)

Author SHA1 Message Date
Dimitri Huisman 54dd4cf224 Added new docker repo for test image. Adapted deploy script to use env var for test repo name. Modified travis references to github actions references in docs. Added changelog entry. 3 years ago
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