Christopher Dignam

Results 173 comments of Christopher Dignam

@erezrokah Thanks for the suggestion. I think the implementation would be similar to priority_merge_label. For pull requests labeled with priority_merge_label, we insert them into the Redis Sorted Set with a...

@erezrokah A PR would be great! I can help with tests and polish if you need

Are the warnings dismissed by users or by GitHub? I think maybe Kodiak doesn't get a webhook if GitHub dismisses the comment. Can you link to a public example security...

@Alex-Stagg Since you're using the self hosted version, maybe your GitHub App isn't configured to send web hooks for pull request comments

I think this is still a valid issue and should not be closed.

This is fixed in https://github.com/snyk/github-codeowners at https://github.com/snyk/github-codeowners/blob/375f896d8cc72b7ac99401e3d925970a1ac6900e/src/lib/ownership/OwnershipEngine.ts#L90

Thanks for the suggestion. I was thinking either we allow the user to paste a link or we could try reading the user's clipboard and prompting them to open the...

The task list you are asking about is a [Github Flavored Markdown][1] feature. I don't think this project has any explicit support for this markdown version. [1]: https://help.github.com/articles/about-task-lists/

For posterity, there is a clone of the `markdown-checklists` repo here: https://github.com/SCP-028/markdown-checklists