Mike Gerber
Mike Gerber
I've rebased this to the current master branch, to fix the tests. Changing to draft for now, because I would probably want at least to make this optional. Please don't...
> Speaking about Github etiquette and collaboration best practices: force-pushing on someone's forked PR is really bad practice! No it isn't? It's the way a maintainer can make changes to...
> No it isn't? It's the way a maintainer can make changes to a PR. And this case it was just a rebase to let the tests run. Was the...
The current changes illustrate a part of the problem: because you use the same branch for your fork and the PR I now have unrelated changes in the PR (which...
All things considered, the issue seems to be that you use your fork as the source branch for the PR. If you would create a new branch for the PR...
We've also encountered this. This seems to be caused by the (invisible) `rtd-footer-container` div; when I remove the element in Firefox' inspector, the scrollbar goes away.
Dupe of #732
This is already merged it seems.
We also ran into this and used the CSS workaround by @ebolyen.
> @mikegerber Would it be possible to extend `setuptools-ocrd` to dereference the symlink OS-independently at build time? That's a bit of a hack :\ How does the top-level `ocrd-tool.json` look...