4 ms·
GitHub Discussions is a much better place to handle Q&A: https://docs.github.com/en/discussions https://docs.github.com/en/discussions
by bjtitus 5y ago
GitHub Discussions is a much better place to handle Q&A: https://docs.github.com/en/discussions https://docs.github.com/en/discussions
- detaro 5y agoWhich didn't exist when that issue was created.
- wildmanxx 5y agoAnd none of the people in this thread did provide even a hint of an answer either...
- detaro 5y agoIt's not a trivial question, so it's not that surprising that nobody answers it without prior knowledge of the thing?
- hnuglnnpyrkoata 5y agoThere is now an answer to the question in https://github.com/esrlabs/josh/issues/23 https://github.com/esrlabs/josh/issues/23