Skip to content

Conversation

@ntindle
Copy link
Member

@ntindle ntindle commented Aug 27, 2021

use with [lang: lang name]

@ntindle
Copy link
Member Author

ntindle commented Aug 27, 2021

[lang: workflow]

@ntindle
Copy link
Member Author

ntindle commented Aug 27, 2021

The commit history is a gore, but I don't want to reset my repo and you squash and merge anyway

@leios
Copy link
Member

leios commented Aug 27, 2021

oh, sweet! Would we be able to extend this to PRs?

@ntindle
Copy link
Member Author

ntindle commented Aug 27, 2021

Yes

fun fact, PRs are kinda just issues with extra attributes according to the GitHub api

@ntindle
Copy link
Member Author

ntindle commented Aug 27, 2021

I'd say before merge read the discord thread I made so you can see one of the edge cases

Copy link
Member

@leios leios left a comment

Choose a reason for hiding this comment

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

Let's give it a go!

@leios leios merged commit 6bcf40c into algorithm-archivists:master Aug 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants