diff options
author | Richard van der Hoff <richard@matrix.org> | 2018-12-11 14:13:02 +0000 |
---|---|---|
committer | Richard van der Hoff <richard@matrix.org> | 2018-12-11 14:13:02 +0000 |
commit | bd52978fd72418b604b7429f602f89927249f633 (patch) | |
tree | 8bb89bc7770b09c512ce6937c1d79ac33447ffb5 | |
parent | Add a welcome page to the static resources (diff) | |
parent | Disable pager for ci script (diff) | |
download | synapse-bd52978fd72418b604b7429f602f89927249f633.tar.xz |
Merge branch 'rav/disable_pager_in_ci' into rav/welcome_page
-rwxr-xr-x | .circleci/merge_base_branch.sh | 4 | ||||
-rw-r--r-- | changelog.d/4291.misc | 1 |
2 files changed, 3 insertions, 2 deletions
diff --git a/.circleci/merge_base_branch.sh b/.circleci/merge_base_branch.sh index b2c8c40f4c..4c19fa70d7 100755 --- a/.circleci/merge_base_branch.sh +++ b/.circleci/merge_base_branch.sh @@ -20,7 +20,7 @@ else fi # Show what we are before -git show -s +git --no-pager show -s # Set up username so it can do a merge git config --global user.email bot@matrix.org @@ -31,4 +31,4 @@ git fetch -u origin $GITBASE git merge --no-edit origin/$GITBASE # Show what we are after. -git show -s +git --no-pager show -s diff --git a/changelog.d/4291.misc b/changelog.d/4291.misc new file mode 100644 index 0000000000..d3bfe3dd0c --- /dev/null +++ b/changelog.d/4291.misc @@ -0,0 +1 @@ +Disable pager when running git-show in CI \ No newline at end of file |