Closed bertsky closed 2 years ago
@bertsky can you merge the current master changes into this branch to resolve conflicts to finish pr?
can you merge the current master changes into this branch to resolve conflicts to finish pr?
Ouch. It's very unfortunate that you renamed ocr.sh to ocrd_lib.sh while this PR was active. I now have to sync everything manually (not even 3-way merge is possible).
Sorry i have not seen the pr or forgot to merge it. We can rename the file again and then rename back after the merge again.
I renamed the file in main but can you merge or trigger pr again for auto merge. In current state of this pr, nothing seams to be changed in main repository.
I renamed the file in main but can you merge or trigger pr again for auto merge. In current state of this pr, nothing seams to be changed in main repository.
I was already in the middle of it. Aborting and reentering, I don't have to trigger the diff by hand, but the differ now does not even show sub-region differences anymore.
IOW, please rename back. I'll redo my manual merge.
Done!
Sorry, just saw that I started the PR branch too early. Will rebase against current master and force-push...