Github/Bots: Difference between revisions
From charlesreid1
(Created page with "=Notes= Notes on Github bots and automation. ==Markdown Cleanup== The goal: linkify and clean up markdown files in Github repositories that are being turned into an mkdocs...") |
|||
| Line 14: | Line 14: | ||
[[Markdown Cleanup Github Bot]] | [[Markdown Cleanup Github Bot]] | ||
(This is still unclear, how you give a bot account access to a repo, or even how you give an OAuth app access to a repo) | |||
===Markdown Webhook Script=== | ===Markdown Webhook Script=== | ||
This alternative is a scripted, conditional script that is triggered by a pull request event webhook. This can be used to only apply markdown cleanup on pull requests from a particular user, members of a particular team, containing keywords, modifying particular Markdown files, etc. | This alternative is a scripted, conditional script that is triggered by a pull request event webhook. This can be used to only apply markdown cleanup on pull requests from a particular user, members of a particular team, containing keywords, modifying particular Markdown files, etc. | ||
Revision as of 02:41, 5 August 2018
Notes
Notes on Github bots and automation.
Markdown Cleanup
The goal: linkify and clean up markdown files in Github repositories that are being turned into an mkdocs site.
Markdown Cleanup Bot
This is the "interactive", user-requested bot alternative. This makes more sense when you may have lots of types of pull requests, and you want markdown cleanup to be REQUESTED.
This is a bot that can be installed into a repository, and can then be mentioned in pull requests in that repository, and will respond with a commit that cleans up the markdown.
(This is still unclear, how you give a bot account access to a repo, or even how you give an OAuth app access to a repo)
Markdown Webhook Script
This alternative is a scripted, conditional script that is triggered by a pull request event webhook. This can be used to only apply markdown cleanup on pull requests from a particular user, members of a particular team, containing keywords, modifying particular Markdown files, etc.