search

MicrosoftDocs / CSIDev-Public-Prod

Creative Commons Attribution 4.0 International
2 stars 11 forks source link

PRMerger not installed #16

Closed PRMerger20 closed 5 years ago

PRMerger20 commented 5 years ago

PRMerger is no longer installed on this repo. If it was uninstalled intentionally, please confirm that in a comment and close this issue. Your repo will be removed from the PRMerger list within 24 hours and then you will no longer get this warning.

If PRMerger was uninstalled unintentionally, click here to reinstall it (must be a repo admin). The PRMerger team is investigating the cause of accidental uninstallations.

PRMerger12 commented 5 years ago

PRMerger has been installed on this repo.