music-encoding / music-encoding.github.io

The MEI website
http://music-encoding.org
Educational Community License v2.0
15 stars 37 forks source link

Do only update on main (II) #610

Closed musicEnfanthen closed 2 months ago

musicEnfanthen commented 2 months ago

Recreated PR #609 to target the correct (main) branch, and avoid line ending conflict.

@rettinghaus When I create the commit via GH UI, the "preview" window shows me a single changed line 5. It is only by PR creation on GH, that the end of line gets automatically removed. I have now recreated the PR locally, and it seems to be OK now?

Fixes #608

musicEnfanthen commented 2 months ago

No problem, thanks!