Gurjeet Singh
Gurjeet Singh
I can confirm that the workarounds proposed by @joshuaks do fix the problem.
It looks like @joshuaks has already proposed PR #42 to address this. But I don't like the ugliness of the solution; `if` conditions in derivations to handle platform-specific differences is...
https://lmgtfy.com/?q=git+server+send+messages+to+client :-) In all seriousness, though, I haven't studied the Git protocol, but sending informational messages to the user via the client seems to be commonplace now; I have seen...
Another piece of advice on UI design, from HackerNews: https://news.ycombinator.com/item?id=32858414
Thanks for the encouraging words, Denis/@luss :-) It's a controversial idea in the Postgres _hackers'_ community. Well, let me rephrase that: it becomes a controversial topic every time anyone discusses...
@Wilfred, I have created PR #380 to support Markdown. I haven't tested it extensively, but I believe we can add those tests later, as needed, to improve the coverage; or...
@myitcv can you please describe what's the difference between `Discuss` and `zzz Discuss` labels. Perhaps that'll explain why you change the label on this issue.
The `good first issue` label made this problem look deceptively simple; false advertising :-) But I have take a crack at solving this problem, so if the fix is merged,...
@dwmkerr , can you please turn this into a pull-request.
@thomasmerz, it'd be great if you could post a patch/PR as well.