Tree
- Tree:
6ca91d287eea6aa4dafe54dc576dc5080e8d9798
- Date:
- Message:
- make gotd notifications work when 'git push' is used instead of 'got send' Git clients disconnect earlier, which resulted in session_write exiting before notifications were sent. Do not treat early EOF as a fatal error if we are sending notifications. Add regression test coverage for 'git push'. Problem found by Thomas Adam.