Merge branch 'fc/remote-hg' (early part)
commit0c2b1cf812be6e7e35bed0844b37e412cd232b6b
authorJunio C Hamano <gitster@pobox.com>
Wed, 15 May 2013 21:58:56 +0000 (15 14:58 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 15 May 2013 21:58:56 +0000 (15 14:58 -0700)
treecfaa395d760221ee60bad8d00cf7e61c70b79453
parent6a3ac18ba3150a7e089c0c6b6648b364c71f87c9
parent24317ef32ac3111ed00792f9b2921dc19dd28fe2
Merge branch 'fc/remote-hg' (early part)

* 'fc/remote-hg' (early part):
  remote-hg: update bookmarks when pulling
  remote-hg: don't push fake 'master' bookmark
  remote-hg: disable forced push by default
  remote-hg: fix new branch creation
  remote-hg: add new get_config_bool() helper
  remote-hg: enable track-branches in hg-git mode
  remote-hg: get rid of unused exception checks
  remote-hg: trivial cleanups