0.15 release date changes

[Nicholas Allen]

> I'd prefer to stick to the usual schedule.
>
> I supported taking longer on 0.14, because I felt if we stuck to the
> usual schedule, we would not have enough improvements to justify a
> release.  But especially considering how frequently kind-change bugs are
> being reported, I think we have enough here to justify a release.
I find that quite an annoying bug and I think it makes sense to have 
release that fixes it as soon as possible.

Also, would it be possible to squeeze a fix for the push command bug I 
recently reported into 0.15? For me, it is even more annoying as the 
push command no longer works between branches in the same repository. As 
the push command is a fairly basic/essential one it would be great if it 
could be fixed before 0.15 otherwise I imagine many users will report 
this same bug...

Cheers,

Nick