Build #31423652727:   fix: don't let a missing --push override git-up.push.auto on branch master 19 days ago

Build #31419768423:   docs: explain moving documents between databases (#622) * docs: explain moving documen... on branch master 19 days ago

Build #11195568929:   chore: use new CI pipeline badge URL on branch master almost 2 years ago

Build #239117478:   Build: Run PR workflow with coveralls upload on branch master almost 6 years ago