Hey Mark
Thanks for the huge amount of work you invested there.
But to be honest: Personally I don't think it helps in moving the
documentation to git for several reasons.
Am 22.09.19 um 23:05 schrieb Mark Randall:
> Hello all,
>
> After participating in various conversations, and listening to
Hello Internals,
I've recently discovered that the default include_path is dependent on
whether pear is enabled. I don't remember the discussion but we have
decided to deprecate pear. This has the implication that going forward
there won't be a standard place for PHP code in the installation prefi
Hello all,
After participating in various conversations, and listening to the most
recent PHP internals podcast about moving the documentation to GIT, and
the problems with editing, I spent most of the weekend knocking up a
prototype that I want to present as a possible solution to these probl
On 20.09.2019 at 12:59, Alexandru Pătrănescu wrote:
> Can you let us know what you used as it's doing the job well :)
> CLI git merge or another UI; which one?
I'm usually using TortoiseGit, but basically I'm doing
git rebase -i HEAD~
> I'm also curious what will happen if there would be tw
