Tim-Philipp Müller
|
2111d6f015
|
Back to development
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/6066>
|
2024-02-06 18:29:31 +00:00 |
|
Tim-Philipp Müller
|
ef4f9d0240
|
gitlint: allow Release commits without prefix
|
2024-02-06 16:37:12 +00:00 |
|
Nicolas Dufresne
|
420f129d2e
|
gitlint: Add an exception for GDB backtraces
This way the lint won't complain about oversized lines inside GDB backtraces.
It will patch the initial " #<number>" pattern along with the terminating
":<line>".
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/5049>
|
2023-07-17 14:53:43 -04:00 |
|
Nicolas Dufresne
|
ee0c882601
|
gitlint: Enable search type
This silences deprecation warnings. Our configuration works fine in the new
mode.
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/5049>
|
2023-07-17 14:53:42 -04:00 |
|
Matthew Waters
|
b7e0def087
|
gitlint: support \ and / in commit prefix
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/4316>
|
2023-04-03 02:36:38 +00:00 |
|
Tim-Philipp Müller
|
94abeb1888
|
gitlint: allow commas and spaces in commit message prefix
e.g. "foo, bar: did stuff" should be allowed
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/4273>
|
2023-03-27 07:37:11 +00:00 |
|
Tim-Philipp Müller
|
4db1eb0733
|
gitlint: allow body with 10 characters
"Fixes #123" is a perfectly adequate message body.
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/4182>
|
2023-03-17 03:18:54 +00:00 |
|
Seungha Yang
|
aef4caf3a0
|
ci: gitlint: Allow '-' character in commit title prefix
... and require a SPACE after ':' separator
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/4077>
|
2023-03-16 12:32:12 +00:00 |
|
Thibault Saunier
|
5586511446
|
ci: Add a job to verify commit messages on MRs
This uses [gitlint] and is based on their linting rules with some minor
config so it matches our style pretty well.
[gitlint]: https://jorisroovers.com/gitlint/#configuration
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/3980>
|
2023-02-24 00:22:19 +00:00 |
|