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

Push event #194

Merged
merged 10 commits into from
Jun 7, 2022
Merged

Push event #194

merged 10 commits into from
Jun 7, 2022

Conversation

abhijoshi2k
Copy link
Member

Checks

I have...

  • read and understood the Contributing Guidelines
  • Updated any nessecary files such as the README.md and/or CHANGELOG.md.

Type of Pull request

  • Minor Change
    This Pull request doesn't break existing configuration.
  • Major Change
    This Pull request will break existing configuration.
  • Bug fix
    This Pull request will fix a (critical) bug.
  • Documentation
    This Pull request only changes documentation (README.md, CHANGELOG.md, etc.)
  • Other: __________

Description

Added push event.
Keyword for disabling/whitelisting: push
Default: ⬆️ Pushed {AMOUNT} commit(s) to {REPO}
Supported placeholders: {AMOUNT}, {REPO}.

Note: {URL} placeholder is not supported here.

Closes #190

@abhijoshi2k abhijoshi2k added minor Will be added to next minor release Status: In progress This pr or issue is in progress Priority: low Low priority for this issue/pr. labels Jun 7, 2022
@abhijoshi2k abhijoshi2k added Status: Ready The Pull request is ready for reviews and getting merged and removed Status: In progress This pr or issue is in progress labels Jun 7, 2022
@ghost
Copy link

ghost commented Jun 7, 2022

The Pull request of @abhijoshi2k has been marked as Ready!

It can now be reviewed and/or merged by Maintainers.


This is an automated response created by a GitHub Action
Mentioning the user won't have any effect!

@Andre601 Andre601 self-requested a review as a code owner June 7, 2022 15:28
@abhijoshi2k
Copy link
Member Author

Should I merge this @Andre601 ?
I don't think we can expect @PuneetGopinath to review.

@Andre601 Andre601 merged commit c231120 into main Jun 7, 2022
@Andre601 Andre601 added the Type: enhancement New feature or request label Jun 7, 2022
@abhijoshi2k
Copy link
Member Author

I shall release new version (release drafted by Andre601) in few hours.

@abhijoshi2k abhijoshi2k deleted the push-event branch June 8, 2022 12:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
minor Will be added to next minor release Priority: low Low priority for this issue/pr. Status: Ready The Pull request is ready for reviews and getting merged Type: enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Feature request: Commit Event
2 participants