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

add more lints #70

Open
wants to merge 13 commits into
base: main
Choose a base branch
from
Open

add more lints #70

wants to merge 13 commits into from

Conversation

bircni
Copy link

@bircni bircni commented Oct 25, 2024

Viele Änderungen xD

Ich habe die lints für rust aktiviert und auch gefixt. Hier gibt es noch ein paar TODO's aber das ist denke ich mal ein guter Start, um eine sehr gute Version zu veröffentlichen :-)

@bircni
Copy link
Author

bircni commented Oct 28, 2024

Ready to review :-)

@TimLohrer
Copy link
Member

Bald kommt update deshalb bissl Hänsehaut.. schaue ich dannach mal an...

@bircni
Copy link
Author

bircni commented Oct 31, 2024

Wenn dein Update durch ist würd ich den branch mit merge mal updaten
@TimLohrer

@onlyJakob
Copy link

onlyJakob commented Nov 2, 2024

Können wir TimLohrer#15 bitte vorher mergen, ich habe echt keinen Bock den Konflikt zu lösen

@bircni
Copy link
Author

bircni commented Nov 2, 2024

@onlyJakob dann mach ihn ready? xD

@onlyJakob
Copy link

ist ready, der Rest kann in nen isssue ig

@bircni
Copy link
Author

bircni commented Nov 2, 2024

dann merge das dann kann ich meinen pr updaten

@onlyJakob
Copy link

wäre sehr nice, danke

ist das Verfahren oke @TimLohrer ?

@TimLohrer
Copy link
Member

@onlyJakob ich muss mal noch schauen. das is grad beides nt so prio. deshalb kann sein, dass es noch bissl dauert :/
habe grad selber nochmal nen pr auf main offen mit neuen sachen 💀

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