From 3800c65790ac342f9a24ca6c6f7617ca8b6fa805 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20K=C3=B6tte?= <steffen.koette@gmail.com>
Date: Wed, 8 May 2024 22:52:23 -0700
Subject: [PATCH] Remove dot from links

Otherwise links try to go to a diff instead of the PR
---
 .github/workflows/sync.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/sync.yml b/.github/workflows/sync.yml
index 7800ce2..064c789 100644
--- a/.github/workflows/sync.yml
+++ b/.github/workflows/sync.yml
@@ -105,10 +105,10 @@ jobs:
                 };
                 try {
                   const autoMergeResult = await github.graphql(autoMergeQuery, mergeVariables);
-                  core.info(`Enabled automerge for ${pr}.`);
+                  core.info(`Enabled automerge for ${pr}`);
                 } catch(err) {
                   const mergeResult = await github.graphql(mergeQuery, mergeVariables);
-                  core.info(`Merged ${pr}.`);
+                  core.info(`Merged ${pr}`);
                 }
               } catch(err) {
                  core.error(`Error enabling automerge / merging ${pr}: ${err}`);