Skip to content

Add logs#9

Merged
Fredi-raspall merged 1 commit intomasterfrom
pr/fredi/add_extra_logs
Nov 25, 2025
Merged

Add logs#9
Fredi-raspall merged 1 commit intomasterfrom
pr/fredi/add_extra_logs

Conversation

@Fredi-raspall
Copy link
Copy Markdown
Collaborator

No description provided.

@Fredi-raspall Fredi-raspall requested a review from a team as a code owner November 25, 2025 11:54
Signed-off-by: Fredi Raspall <fredi@githedgehog.com>
@Fredi-raspall Fredi-raspall force-pushed the pr/fredi/add_extra_logs branch from 4fad59a to af107ea Compare November 25, 2025 11:56
Copy link
Copy Markdown
Member

@qmonnet qmonnet left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚢

@qmonnet
Copy link
Copy Markdown
Member

qmonnet commented Nov 25, 2025

image

... What?!? Did we turn this on for this repo? I think it means you need to use a GPG or SSH key to sign the commit.

@qmonnet
Copy link
Copy Markdown
Member

qmonnet commented Nov 25, 2025

(It's an option in the rulesets for branch protection, if you decide to turn it off - I don't have permissions to do it on this repo.)

@Fredi-raspall Fredi-raspall merged commit d38eec9 into master Nov 25, 2025
2 checks passed
@Fredi-raspall Fredi-raspall deleted the pr/fredi/add_extra_logs branch November 25, 2025 13:01
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.

2 participants