Tue, 20 Jun 2006 23:58:45 -0700 merge with crew.
Vadim Gelfer <vadim.gelfer@gmail.com> [Tue, 20 Jun 2006 23:58:45 -0700] rev 2471
merge with crew.
Tue, 20 Jun 2006 23:58:21 -0700 use demandload more.
Vadim Gelfer <vadim.gelfer@gmail.com> [Tue, 20 Jun 2006 23:58:21 -0700] rev 2470
use demandload more.
Tue, 20 Jun 2006 18:39:52 -0700 hg.repository: make protocol table driven.
Vadim Gelfer <vadim.gelfer@gmail.com> [Tue, 20 Jun 2006 18:39:52 -0700] rev 2469
hg.repository: make protocol table driven. allows extensions to add new protocols.
Tue, 20 Jun 2006 17:51:39 -0700 mac os x: fixes for 10.2 from chris monson <monpublic@gmail.com>
Vadim Gelfer <vadim.gelfer@gmail.com> [Tue, 20 Jun 2006 17:51:39 -0700] rev 2468
mac os x: fixes for 10.2 from chris monson <monpublic@gmail.com>
Tue, 20 Jun 2006 15:23:54 -0700 http client: better work with authorization errors, broken sockets.
Vadim Gelfer <vadim.gelfer@gmail.com> [Tue, 20 Jun 2006 15:23:54 -0700] rev 2467
http client: better work with authorization errors, broken sockets.
Tue, 20 Jun 2006 15:23:01 -0700 push over http: server side authorization support.
Vadim Gelfer <vadim.gelfer@gmail.com> [Tue, 20 Jun 2006 15:23:01 -0700] rev 2466
push over http: server side authorization support. new hgrc entries allow_push, deny_push, push_ssl control push over http. allow_push list controls push. if empty or not set, no user can push. if "*", any user (incl. unauthenticated user) can push. if list of user names, only authenticated users in list can push. deny_push list examined before allow_push. if "*", no user can push. if list of user names, no unauthenticated user can push, and no users in list can push. push_ssl requires https connection for push. default is true, so password sniffing can not be done.
Tue, 20 Jun 2006 15:17:28 -0700 push over http: client support.
Vadim Gelfer <vadim.gelfer@gmail.com> [Tue, 20 Jun 2006 15:17:28 -0700] rev 2465
push over http: client support. stream bundle data using PUT request.
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip