Skip to content

chore(ci): merging dev to main #204

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

Merged
merged 7 commits into from
Feb 14, 2023
Merged

chore(ci): merging dev to main #204

merged 7 commits into from
Feb 14, 2023

Conversation

sliedig
Copy link
Contributor

@sliedig sliedig commented Feb 14, 2023

Please provide the issue number

Issue number:

Summary

Minor ci changes and updated api docs

Changes

  • Updated docs
  • bumped .net version
  • fixing intermittent test failures
  • updating list of mainteiners

User experience

Please share what the user experience looks like before and after this change

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 and others added 7 commits February 7, 2023 10:53
Remove bold from Issue Number, so that it passes label_related_issue.js regex expression.
chore - Update pr template
@auto-assign auto-assign bot requested a review from amirkaws February 14, 2023 07:48
@github-actions github-actions bot added the internal Maintenance changes label Feb 14, 2023
@github-actions
Copy link

No related issues found. Please ensure there is an open issue related to this change to avoid significant delays or closure.

@github-actions github-actions bot added do-not-merge PRs that are blocked for varying reasons need-issue PR is missing a related issue for tracking change labels Feb 14, 2023
@sliedig sliedig removed the need-issue PR is missing a related issue for tracking change label Feb 14, 2023
Copy link
Contributor

@amirkaws amirkaws left a comment

Choose a reason for hiding this comment

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

LGTM

@sliedig sliedig merged commit cafa894 into main Feb 14, 2023
@github-actions
Copy link

@awslabs/aws-lambda-powertools-net No related issues found. Please ensure 'pending-release' label is applied before releasing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
do-not-merge PRs that are blocked for varying reasons internal Maintenance changes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants