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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feature/1135 formatter apply formatter #1201

Closed

Conversation

kcinay055679
Copy link
Collaborator

No description provided.

@kcinay055679 kcinay055679 force-pushed the feature/1135-formatter-changes-2 branch 4 times, most recently from b424ed9 to 3307e1c Compare November 22, 2024 11:02
@RandomTannenbaum RandomTannenbaum changed the base branch from main to feature/1135-formatter November 22, 2024 12:06
@RandomTannenbaum RandomTannenbaum force-pushed the feature/1135-formatter-changes-2 branch 2 times, most recently from 1348bc9 to 35a76d4 Compare November 22, 2024 14:46
@RandomTannenbaum RandomTannenbaum linked an issue Nov 22, 2024 that may be closed by this pull request
1 task
@Miguel7373 Miguel7373 force-pushed the feature/1135-formatter-changes-2 branch from b1eab2f to 5ea07c2 Compare November 25, 2024 13:20
@Miguel7373 Miguel7373 force-pushed the feature/1135-formatter branch from b21142d to 90387c4 Compare November 26, 2024 06:37
@Miguel7373 Miguel7373 force-pushed the feature/1135-formatter-changes-2 branch from 5e69233 to 80a2812 Compare November 26, 2024 06:38
@Miguel7373
Copy link
Collaborator

Dies ist die PR mit den formatting changes.

Die sollte erst, wenn die config approved wurde, in die erste PR gemerged werden
(1159-formatter)

@Miguel7373 Miguel7373 marked this pull request as ready for review November 26, 2024 10:48
@RandomTannenbaum RandomTannenbaum force-pushed the feature/1135-formatter-changes-2 branch from 80a2812 to 26f9ee5 Compare November 27, 2024 09:01
@peggimann peggimann force-pushed the feature/1135-formatter branch from e9cfeb0 to ab019e6 Compare November 27, 2024 09:56
@RandomTannenbaum RandomTannenbaum removed a link to an issue Nov 27, 2024
1 task
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