jsargiox
Joined 12 years ago
Karma
178
Submissions
25
Member since
Sep 29
Recent submissions
Comment · 9 years ago
I would say it's a mistake, but you never know. This style has been used for github enterprise to make it "differentiate" from github.com, I don't think it's a good idea to make them look the same...
Comment · 9 years ago
Exactly! And stands out too much from the rest of the content for my taste...
Comment · 9 years ago
Same here, although this seems to be more of a mistake, I would very much like a dark theme
Comment · 10 years ago
It's nowhere near the features and look of Insomnia but a pet project that I work on my spare time it's http://github.com/jsargiot/restman. The initial need was because Opera didn't had an extension of such kind.
Comment · 10 years ago
I agree, at the end of the day being polite or not is on the developer and not the tool itself...
Comment · 10 years ago
I didn't know there was a real "portia" spider... the things you learn everyday
Comment · 10 years ago
This is great news for site owners too! At least some people will use the already scraped info instead of hitting the server.