hintman
hintman copied to clipboard
kowainik
🔫 GitHub application to suggest hints
It would be great if Hintman could be a) to check for well-formattedness with stylish-haskell or ormulo and b) if it's not formatted properly offer to to make formatting suggestions...
From the mail: > We no longer support two events which your GitHub Apps may rely on, "integration_installation" and "integration_installation_repositories". > These events can be replaced with the "installation" and...
It was recently announced: https://neilmitchell.blogspot.com/2020/05/hlint-30.html
Sometimes `hintman` can't submit PR review due to the `Bad credentials` error: ``` 2020-03-16T19:19:27.090380+00:00 app[web.1]: [Info] [16-03-2020 19:03:59.796] [Hintman.Download.downloadFile#20] [ThreadId 397] Attempting to download file from https://raw.githubusercontent.com/kowainik/validation-selective/f8b174dcbae4e1784358d8e7fed68c0319311653/src/Validation.hs ... 2020-03-16T19:19:27.090380+00:00 app[web.1]:...
At the moment we are adding the comment to the last line.
Here is the error message: ``` 2019-12-26T19:11:06.085383+00:00 app[web.1]: [Error] [26-12-2019 18:40:29.700] [Hintman.Webhook.prReviewHook#94] [ThreadId 125] Failed to fetch PR deltas: endOfInput ``` And this is the PR: * https://github.com/kowainik/ilist/pull/6
Some repositories may have their own `.hlint.yaml` files. It would be nice to support them.
Check that they don't contradict with each other.