On Wed, 9 Nov 2022, Uwe Schindler wrote:
Ok I deleted it, BUT:
the branch was pushed by Andi in error as he had an old version of master
branch still on his computer. This also caused issues with website build.
I asked him to redo his changes on correct branch by checking what he
committe
Ok I deleted it, BUT:
the branch was pushed by Andi in error as he had an old version of
master branch still on his computer. This also caused issues with
website build.
I asked him to redo his changes on correct branch by checking what he
committed. I think we should add a branch protection
I think we forgot to remove it. I will do that in a moment.
Uwe
Am 09.11.2022 um 00:43 schrieb sebb:
The https://github.com/apache/lucene-site repo has both main and
master branches.
This is confusing.
Are both still in use?
Sebb
-
The https://github.com/apache/lucene-site repo has both main and
master branches.
This is confusing.
Are both still in use?
Sebb
-
To unsubscribe, e-mail: dev-unsubscr...@lucene.apache.org
For additional commands, e-mail: dev-h