From a4b1e347f6197f59f240511fefbf3f2213f2eb99 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Tue, 12 May 2020 09:22:26 +0800 Subject: [PATCH] github: use gitlint config from sel4_tools Previously, gitlint would use the configuration from the local repository only. Signed-off-by: Gerwin Klein --- .github/workflows/git.yaml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/.github/workflows/git.yaml b/.github/workflows/git.yaml index b2208a335..2d1ab4d49 100644 --- a/.github/workflows/git.yaml +++ b/.github/workflows/git.yaml @@ -16,13 +16,17 @@ jobs: fetch-depth: 2 - run: | git fetch --depth 1 --no-tags origin +refs/heads/${{ github.base_ref }}:refs/heads/${{ github.base_ref }} + - uses: actions/checkout@v2 + with: + repository: seL4/sel4_tools + path: sel4_tools - uses: actions/setup-python@v1 with: python-version: '3.7' - name: Install gitlint run: pip install gitlint - name: Run gitlint - run: gitlint --commits ${{ github.base_ref }}..${{ github.event.pull_request.head.sha }} lint + run: gitlint --commits ${{ github.base_ref }}..${{ github.event.pull_request.head.sha }} --config sel4_tools/misc/.gitlint lint whitespace: name: Trailing Whitespace