Skip to content

Conversation

@askvinni
Copy link
Contributor

@askvinni askvinni commented Dec 2, 2024

Type of Change

  • Bugfix
  • Enhancement / new feature
  • Refactoring
  • Documentation

Description

A team member accidentally pushed a tag named dev into one of the repos, causing this workflow to fail as it couldn't disambiguate between the tag and branch. This fix should do the trick.

See https://github.com/Staffbase/data-platform/actions/runs/12118914306/job/33785057104 for error: src refspec dev matches more than one

Checklist

  • Write tests
  • Make sure all tests pass
  • Update documentation
  • Review the Contributing Guideline and sign CLA
  • Reference relevant issue(s) and close them after merging

@github-actions
Copy link

github-actions bot commented Dec 2, 2024

All contributors have signed the CLA ✍️ ✅
Posted by the CLA Assistant Lite bot.

@askvinni
Copy link
Contributor Author

askvinni commented Dec 2, 2024

I have read the CLA Document and I hereby sign the CLA.

@askvinni
Copy link
Contributor Author

askvinni commented Dec 2, 2024

recheck

github-actions bot added a commit that referenced this pull request Dec 2, 2024
Copy link
Contributor

@flaxel flaxel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If you finished all your action please run the following command and push your changes:

pnpm run all

@askvinni askvinni requested a review from flaxel December 2, 2024 13:12
@askvinni askvinni enabled auto-merge December 2, 2024 13:25
@flaxel flaxel added the bug Something isn't working label Dec 2, 2024
@askvinni askvinni merged commit a528487 into main Dec 2, 2024
10 checks passed
@askvinni askvinni deleted the add-refsheads-push-cmd branch December 2, 2024 13:43
@github-actions github-actions bot locked and limited conversation to collaborators Dec 2, 2024
@askvinni
Copy link
Contributor Author

askvinni commented Dec 2, 2024

No immediate need to release this one as we already solved the problem by deleting the dev tag in the repo, but I wanted to future proof it in case it happens again.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants