Skip to content

Add LeanCode and contributors to AUTHORS #11134

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.

Sign up for GitHub

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

Merged
auto-submit merged 1 commit into from
Mar 2, 2026
+4 −0
Merged

Add LeanCode and contributors to AUTHORS #11134

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions AUTHORS
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -82,3 +82,7 @@ Ricardo Dalarme <ricardodalarme@outlook.com>
Andrei Kabylin <sys.int64@gmail.com>
Ernesto Ramirez <neartox@outlook.com>
Rui Craveiro <ruicraveiro@squarealfa.com>
LeanCode <contribution@leancode.pl>
Piotr Denert <pdenert09@gmail.com>
Marcin Chudy <marcinchudy94@gmail.com>
Copy link
Collaborator

@stuartmorgan-g stuartmorgan-g Feb 27, 2026

Choose a reason for hiding this comment

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

This is not the email address that was used for commits, and doesn't appear publicly anywhere in the repo as far as I can tell. @mchudy can you confirm that you want to have this email address in the repository?

Copy link
Contributor

@mchudy mchudy Mar 2, 2026

Choose a reason for hiding this comment

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

yes, that's ok

Paweł Jakubowski <pawel.jakubowski@leancode.pl>
Loading