diff options
| author | William Carroll <wpcarro@gmail.com> | 2020-08-21T17·25+0100 |
|---|---|---|
| committer | William Carroll <wpcarro@gmail.com> | 2020-08-22T22·27+0100 |
| commit | 3f9352b11848a88a677b51f0b42cd66eca5a9122 (patch) | |
| tree | 820e7cab5d5bfd5ace6d682656ae8d68a05d5db3 /zoo/.ghci | |
| parent | 92fa785e755aa71ffeb7da3c43b201db019112fc (diff) | |
Remove --add-provider step from briefcase lint
So it turns out that I was wrong and that .git/config is stateful. Multiple calls to --add-provider will append the same provider each time... Instead I'm defining secret-patterns.txt and version-controlling it. Then: - dev-side: I'm adding `providers = cat ci/secret-patterns.txt` to .git/config - ci-side: I'm adding `providers = cat ci/secret-patterns.txt` to .git/config Unfortunately this is ad-hoc configuration ci-side, which I would like to avoid. The good news is that my pre-commit hooks and failures from git-secrets should now align with my CI, since they're both reading from secret-patterns.txt. One step backwards... two steps forwards?
Diffstat (limited to 'zoo/.ghci')
0 files changed, 0 insertions, 0 deletions