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

Chore: update github actions #76

Merged
merged 2 commits into from
Oct 25, 2024
Merged

Conversation

pxpm
Copy link
Contributor

@pxpm pxpm commented Oct 24, 2024

PR based on the conversation in #74 (comment)

It works just fine locally testing with act. (This was tested using #75)

@pxpm
Copy link
Contributor Author

pxpm commented Oct 24, 2024

Se um maintainer puder que crie uma branch a partir do #75 e aponte esta branch para lá em vez da main para ver as diferenças.

Basicamente está aqui o #75 também 🤷 Se derem merge ao #75 primeiro este já fica mais limpinho 👍

Ou dêem merge a este e fechem o #75 ! 🙃

@Alf0nso
Copy link
Member

Alf0nso commented Oct 25, 2024

@pxpm não seria mais simples simplesmente dar merge deste? se bem que se vais fazer testes sim que deveriamos criar um branch : b

@pxpm
Copy link
Contributor Author

pxpm commented Oct 25, 2024

Ou dêem merge a este e fechem o #75 ! 🙃

Acho que é tranquilo dar merge a este. Eu não me lembrei que não podia criar branches neste repo, e como queria testar as actions com as fixes do linter a ver se corria tudo sem stress criei uma branch a partir da outra e pensei depois em apontar esta branch para a outra. Caso a outra fosse merged primeiro, o github automaticamente muda a branch deste PR para a main 🤷

Assim sendo:
1 - ou se dá merge neste,
2 - ou se cria outra branch com o PR #75 e aponta-se este PR para lá,
3 - ou eu removo os commits desta branch que pertencem à outra.

Sendo PR's relativamente pequenos eu ia para 1, ou na pior das hipóteses 2 caso façam mesmo questão.
3 é só para me dar mais trabalho, e não recebo à hora aqui 😄

Obrigado pela review 👍

Copy link
Member

@Alf0nso Alf0nso left a comment

Choose a reason for hiding this comment

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

Okay vou aceitar isto para poupar um pouco tempo e paciência a todos, e colocamos já directament

@Alf0nso Alf0nso merged commit 0296443 into devpt-org:main Oct 25, 2024
1 check passed
@pxpm pxpm deleted the chore/update-gh-actions branch October 25, 2024 14:54
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