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

update pipeline to create a new branch instead of push #237

Merged
merged 1 commit into from
Apr 13, 2023

Conversation

hjgraca
Copy link
Contributor

@hjgraca hjgraca commented Apr 13, 2023

Please provide the issue number

Issue number: 238

Summary

Change needed since we have branch protection with approvals the build was failing

image

Changes

Instead of force push to develop we create a new branch and go through the normal pr/review process

User experience

Nothing changes

Checklist

Please leave checklist items unchecked if they do not apply to your change.

Is this a breaking change?

RFC issue number:

Checklist:

  • Migration process documented
  • Implement warnings (if it can live side by side)

Acknowledgment

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

Disclaimer: We value your time and bandwidth. As such, any pull requests created on non-triaged issues might not be successful.

@hjgraca hjgraca merged commit b30678b into aws-powertools:develop Apr 13, 2023
5 checks passed
@hjgraca hjgraca deleted the changelog-update-pipeline branch April 13, 2023 15:40
@hjgraca hjgraca linked an issue Apr 13, 2023 that may be closed by this pull request
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Maintenance: Fix changelog pipeline
3 participants