search

ProjectJaraid / jaraid_source

Master and authority files of Project Jarāʾid
Other
1 stars 1 forks source link

Squash the `gh-pages` branch #95

Closed tillgrallert closed 4 years ago

tillgrallert commented 4 years ago

Dear Adam,

Since the content of the master and gh-pages branch are absolutely identical, I propose to delete the gh-pages branch and directly publish the master branch to the internet. Nothing would change for the website drawing on this repository as a data source but we could eliminate a manual step of keeping the two branches up to date.

What to you think?

Mestyan commented 4 years ago

OK deleted!

Mestyan commented 4 years ago

@tillgrallert I deleted the gh-pages branch but the https://projectjaraid.github.io/jaraid_source/tei/jaraid_master.TEIP5.xml url does not work anymore in CETEICean - what should work now? OR should we restore the gh-pages? This is kind of SOS

tillgrallert commented 4 years ago

Dear @Mestyan, don't worry. The only thing left to do was to go the repository settings and publish the master branch to the wider internet. I have done so and everything is up and working again.

Mestyan commented 4 years ago

What a relief ! Thank you

Adam

On Nov 10, 2020, at 03:22, Till Grallert notifications@github.com wrote:

 Closed #95.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub, or unsubscribe.