Skip to content

Stickler is gone#2633

Merged
yubiuser merged 1 commit into
development-v6from
RIP
Jul 13, 2023
Merged

Stickler is gone#2633
yubiuser merged 1 commit into
development-v6from
RIP

Conversation

@yubiuser

Copy link
Copy Markdown
Member

We need to find a replacement at some point.

Signed-off-by: Christian König <ckoenig@posteo.de>
@yubiuser yubiuser requested a review from a team July 12, 2023 21:27
@rdwebdesign

Copy link
Copy Markdown
Member

On AdminLTE, we basically used stickler to run yamllint and remarklint.

@yubiuser yubiuser merged commit a09abe3 into development-v6 Jul 13, 2023
@yubiuser yubiuser deleted the RIP branch July 13, 2023 04:49
@PromoFaux PromoFaux mentioned this pull request Feb 18, 2025
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.

3 participants