Remove dot from links

Otherwise links try to go to a diff instead of the PR
Nef10 · May 9, 2024 · 3800c65 · 3800c65
1 parent 7bd39ad
commit 3800c65
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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}`);