search

microsoft / DevHomeAzureExtension

Dev Home Azure Extension
MIT License
70 stars 15 forks source link

Set up GitHub bot policies #16

Closed krschau closed 8 months ago

krschau commented 8 months ago

Summary of the pull request

Copied from the Dev Home repo, but with the log request text asking for Azure extension rather than GitHub extension.

Closes #17