Skip to content

Conversation

@raffb
Copy link
Member

@raffb raffb commented Jan 9, 2025

No description provided.

@raffb raffb added enhancement New feature or request draft The PR is not ready to merge labels Jan 9, 2025
@raffb raffb self-assigned this Jan 9, 2025
@raffb raffb requested a review from aegroto January 9, 2025 08:13
@raffb
Copy link
Member Author

raffb commented Jan 9, 2025

@aegroto parliamo in inglese o in italiano qui? per il merge preferisci il merge del ramo completo o facciamo uno squash con cancellazione del branch mergiato, per tenere "pulito" il repo?

@aegroto
Copy link
Collaborator

aegroto commented Jan 9, 2025

@aegroto parliamo in inglese o in italiano qui? per il merge preferisci il merge del ramo completo o facciamo uno squash con cancellazione del branch mergiato, per tenere "pulito" il repo?

per quanto riguarda la lingua sarebbe meglio l'inglese ma possiamo anche andare a sentimento. nel caso ci siano tanti commit direi di andare di squash, se una PR è molto semplice va bene anche un merge normale.

@aegroto aegroto merged commit 8c26b2f into main Jan 9, 2025
1 check passed
@raffb raffb removed the draft The PR is not ready to merge label Jan 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants