GitHub pull request issue

General
1

Hello,

I’m trying to submit a package via a pull request as described on the packages Github repository. During the automatic checks, I’m running into an error in the Lint checker, specifically in the “Rebase branch before linting” phase. Here’s the log that’s shown there:

Run git config user.name "github-actions[bot]"
  git config user.name "github-actions[bot]"
  git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
  pr_head=$(/usr/bin/git log -1 --format=%H)
  git fetch origin main
  git reset --hard origin/main
  git merge --squash $pr_head
  git commit "squashed"
  shell: /usr/bin/bash -e {0}
From https://github.com/typst/packages
 * branch                main       -> FETCH_HEAD
HEAD is now at 3b810d16d Add a missing argument to git commit in the Lint workflow (#5868)
Automatic merge went well; stopped before committing as requested
Squash commit -- not updating HEAD
error: pathspec 'squashed' did not match any file(s) known to git
Error: Process completed with exit code 1.

The runner is using git commit "squashed" which seems nonsensical to me, as it’s missing the -m. Am I missing something?

Kind regards,

David

2

I think you just need to rebase your PR onto the latest main commit; see this commit and the history.

There was a mistake in the lint workflow, and you seem to have pulled the repo exactly when that problem was live.

3

Thank you, seems to be working now.