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

🎨 Improve autodev #66

Merged
merged 7 commits into from
Sep 27, 2022
Merged

🎨 Improve autodev #66

merged 7 commits into from
Sep 27, 2022

Conversation

flaxel
Copy link
Contributor

@flaxel flaxel commented Sep 27, 2022

Type of Change

  • Bugfix
  • Enhancement / new feature
  • Refactoring
  • Documentation

Description

  • remove opened pull request event, because there can't be a label
  • remove closed pull request event, because the run is done on master/main
  • add check for autodev to run only if push or label was set/removed

Checklist

  • Add relevant labels (for example type of change or patch/minor/major)
  • Make sure not to introduce some mistakes
  • Update documentation
  • Review the Contributing Guideline and sign CLA
  • Reference relevant issue(s) and close them after merging

@flaxel flaxel added enhancement New feature or request patch Pull request with little updates labels Sep 27, 2022
@flaxel flaxel requested a review from a team as a code owner September 27, 2022 09:02
@flaxel flaxel added documentation Improvements or additions to documentation and removed enhancement New feature or request labels Sep 27, 2022
@flaxel flaxel changed the title Improve autodev 🎨 Improve autodev Sep 27, 2022
@flaxel flaxel added enhancement New feature or request and removed documentation Improvements or additions to documentation labels Sep 27, 2022
@axdotl
Copy link
Member

axdotl commented Sep 27, 2022

Could you pls. add a short description "Why this change is made"?

@flaxel flaxel merged commit e0a8acb into main Sep 27, 2022
@flaxel flaxel deleted the improve-autodev branch September 27, 2022 13:53
@github-actions github-actions bot locked and limited conversation to collaborators Sep 27, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request patch Pull request with little updates
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants