Closed dfithian closed 5 years ago
Thanks!
This actually brings up a question: I was starting to consider renaming inbox
to dir
or emptydir
or something like that. I'm not sure that the term inbox
is clear/meaningful.
Thoughts?
Ah, yeah I liked the idea of dir because while I get the idea behind inbox I thought it was at odds with the git type, which is a description of folder structure rather than purpose. That was just my first thought, though, so you should do what you feel is best.
On Wed, Nov 21, 2018, 21:08 Joel McCracken <notifications@github.com wrote:
Thanks!
This actually brings up a question: I was starting to consider renaming inbox to dir or emptydir or something like that. I'm not sure that the term inbox is clear/meaningful.
Thoughts?
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/joelmccracken/reddup/pull/3#issuecomment-440890894, or mute the thread https://github.com/notifications/unsubscribe-auth/AIBQ6FGHHybVMlGdfDksEupACTNsWoHlks5uxgc5gaJpZM4YsUwk .
Had to do a manual merge. Thank you!.
Noticed a thing off in the README, and also noticed that .gitignore was ignoring the cabal file but when I built it changed. So I
git rm --cached
it.