Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

merge updates from main, if there are any #19

Merged
merged 3 commits into from
Dec 7, 2021

Conversation

staffbase-robert
Copy link
Contributor

@staffbase-robert staffbase-robert commented Dec 1, 2021

Type of Change

  • Bugfix
  • Enhancement / new feature
  • Refactoring
  • Documentation

Description

  • new commits on main trigger the dev action, but if there are 0 pulls, the action ignores these changes.
  • I moved the early return statement further down. The message will only show up in case of hasDiff && pulls == 0

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

@staffbase-robert staffbase-robert added the dev Pull Requests that deployed to dev label Dec 2, 2021
@Staffbot
Copy link

Staffbot commented Dec 3, 2021

🟢 Sucessfully deployed to dev.
The following Pull Requests have been deployed to dev:

@staffbase-robert staffbase-robert merged commit bb38d4b into master Dec 7, 2021
@staffbase-robert staffbase-robert deleted the fix/sync-dev-with-main branch December 7, 2021 10:07
@github-actions github-actions bot locked and limited conversation to collaborators Dec 7, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
dev Pull Requests that deployed to dev
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants