Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
new --reload-extra-file option #1527
@tilgovi I usually follow the "fail early" rule and if somebody provides an option that points to a file which we should watch and that file does not exists it is very likely to be a typo. I would assume 99% of cases is like this. In the other 1%, you can always use
I added the description for new option and squashed the work in one commit. As far as I can tell this looks ready to be merged, if not let me know what needs to change.
Looks good to me. Thanks!
I left a few tiny comments for your consideration, but nothing critical.