Grant Windes

Related to pull request #125

I initially thought about a server config but decided on the individual user approach due to our case where we have 100+ devs in the company (maybe 25 using our...

+1

What about adding some sort of persistent preferences. Either hound instance specific like the repository list or user specific via some new settings page? There are a couple things like...

@kellegous Yes being able to change the default for ignoreCase. For instance some team members have expressed interest in ignoreCase being defaulted to true. I figured a settings/pref the user...

PR: https://github.com/FD-/RPiPlay/pull/328