Re: [PATCH] git pull: Remove option handling done by fetch
From: Jonathan Nieder <hidden>
Date: 2016-06-15 22:50:31
Possibly related (same subject, not in this thread)
- 2016-06-15 · [PATCH] git pull: Remove option handling done by fetch · Jens Lehmann <hidden>
- 2016-06-15 · Re: [PATCH] git pull: Remove option handling done by fetch · Johannes Sixt <hidden>
- 2016-06-15 · Re: [PATCH] git pull: Remove option handling done by fetch · Jens Lehmann <hidden>