Merge branch 'pb/rename-rowin32'
authorJunio C Hamano <redacted>
Sun, 19 Oct 2008 19:38:50 +0000 (12:38 -0700)
committerJunio C Hamano <redacted>
Sun, 19 Oct 2008 19:38:54 +0000 (12:38 -0700)
* pb/rename-rowin32:
  Do not rename read-only files during a push

Looks-fine-to-me-by: Shawn O. Pearce <redacted>
Acked-by: Johannes Sixt <redacted>

Trivial merge
git clone https://git.99rst.org/PROJECT