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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add pr lint action #3157

Merged
merged 2 commits into from Apr 24, 2024
Merged

Add pr lint action #3157

merged 2 commits into from Apr 24, 2024

Conversation

o1egl
Copy link
Member

@o1egl o1egl commented Apr 24, 2024

Description

馃毃 Before submitting your PR, please indicate which issues are either fixed or closed by this PR. See GitHub Help: Closing issues using keywords.

  • DO make sure you are requesting to pull a topic/feature/bugfix branch (right side). Don't request your master!
  • DO make sure you are making a pull request against the master branch (left side). Also you should start your branch off our master.
  • DO make sure that File Browser can be successfully built. See builds and development.
  • AVOID breaking the continuous integration build.

Further comments

@o1egl o1egl merged commit e39ea73 into master Apr 24, 2024
7 checks passed
@o1egl o1egl deleted the pr_name_lint branch April 24, 2024 20:51
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.

None yet

1 participant