Thanks to visit codestin.com
Credit goes to github.com

Skip to content

PR title checker #1390

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

Closed
Seluj78 opened this issue Aug 27, 2020 · 9 comments · Fixed by #1472
Closed

PR title checker #1390

Seluj78 opened this issue Aug 27, 2020 · 9 comments · Fixed by #1472
Labels

Comments

@Seluj78
Copy link
Collaborator

Seluj78 commented Aug 27, 2020

https://github.com/thehanimo/pr-title-checker

@Seluj78 Seluj78 added the meta label Aug 27, 2020
@vpoulailleau
Copy link
Contributor

Sympa. Par contre le projet est tout récent, et j'ai eu la flemme de fouiller dans le JavaScript pour voir à quoi ça ressemble…

@Seluj78
Copy link
Collaborator Author

Seluj78 commented Aug 27, 2020

Ouais je comprends ! Y'a https://github.com/bdougie qui suit le projet, c'est un developper advocate chez Github, il est super cool, jlui fait confiance

@Seluj78 Seluj78 changed the title Pr title checker PR title checker Aug 27, 2020
@Seluj78
Copy link
Collaborator Author

Seluj78 commented Aug 27, 2020

@vpoulailleau
Copy link
Contributor

OK, effectivement, c'est encourageant !

@Seluj78
Copy link
Collaborator Author

Seluj78 commented Oct 15, 2020

Des news sur ça ? Perso je suis toujours pour !

@Seluj78
Copy link
Collaborator Author

Seluj78 commented Nov 19, 2020

Pour les issues, y'a potodo qui fait ca en mode interactif ! (-i)

@Seluj78
Copy link
Collaborator Author

Seluj78 commented Nov 22, 2020

@JulienPalard can you add the workflow as a required pass before a PR can be merged ?

@Seluj78 Seluj78 reopened this Nov 22, 2020
@JulienPalard
Copy link
Member

done.

@Seluj78
Copy link
Collaborator Author

Seluj78 commented Nov 22, 2020

I rebased #1452 to test it out

@Seluj78 Seluj78 closed this as completed Nov 22, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants