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

refactor: lint GitHub PR title #320

Merged
merged 1 commit into from
Aug 7, 2024
Merged

refactor: lint GitHub PR title #320

merged 1 commit into from
Aug 7, 2024

Conversation

mrekucci
Copy link
Collaborator

@mrekucci mrekucci commented Aug 7, 2024

Describe your changes

  • lint PR title instead of commit message
  • moves pull_request_template.md into .github directory

@mrekucci mrekucci force-pushed the introduce-pr-title-lint branch 2 times, most recently from 61e342c to 5f1c498 Compare August 7, 2024 08:27
@mrekucci mrekucci changed the title lint GitHub PR title refactor: lint GitHub PR title Aug 7, 2024
@mrekucci mrekucci force-pushed the introduce-pr-title-lint branch 2 times, most recently from 7c2574f to c59c7d8 Compare August 7, 2024 08:46
@mrekucci mrekucci changed the title refactor: lint GitHub PR title lint GitHub PR title Aug 7, 2024
@mrekucci mrekucci force-pushed the introduce-pr-title-lint branch 3 times, most recently from 4e33ccb to 456d922 Compare August 7, 2024 08:53
@mrekucci mrekucci changed the title lint GitHub PR title refactor: lint GitHub PR title Aug 7, 2024
@mrekucci mrekucci force-pushed the introduce-pr-title-lint branch from 456d922 to 617e07e Compare August 7, 2024 09:02
@mrekucci mrekucci changed the title refactor: lint GitHub PR title lint GitHub PR title Aug 7, 2024
@mrekucci mrekucci force-pushed the introduce-pr-title-lint branch from 617e07e to f837bb3 Compare August 7, 2024 09:04
@mrekucci mrekucci changed the title lint GitHub PR title refactor: lint GitHub PR title Aug 7, 2024
@mrekucci mrekucci force-pushed the introduce-pr-title-lint branch from f837bb3 to a83425d Compare August 7, 2024 09:18
@mrekucci mrekucci force-pushed the introduce-pr-title-lint branch 3 times, most recently from f89ad73 to b179e91 Compare August 7, 2024 09:42
@mrekucci mrekucci force-pushed the introduce-pr-title-lint branch 3 times, most recently from 39c8d5a to 65ef7c3 Compare August 7, 2024 11:29
@mrekucci mrekucci force-pushed the introduce-pr-title-lint branch from 65ef7c3 to 2d49fa2 Compare August 7, 2024 11:32
@mrekucci mrekucci force-pushed the introduce-pr-title-lint branch from 2d49fa2 to 9db6a26 Compare August 7, 2024 11:33
@mrekucci mrekucci merged commit c6348e5 into main Aug 7, 2024
6 checks passed
@mrekucci mrekucci deleted the introduce-pr-title-lint branch August 7, 2024 11:50
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.

4 participants