Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Branch pruned of all generated/temporary output #7

Closed
kba opened this issue Nov 20, 2018 · 2 comments
Closed

Branch pruned of all generated/temporary output #7

kba opened this issue Nov 20, 2018 · 2 comments
Assignees

Comments

@kba
Copy link
Member

kba commented Nov 20, 2018

Branch https://github.com/OCR-D/gt-guidelines/tree/purged is a rewrite of the git history, undoing all commits to

  • documentation/out
  • documentation/temp
  • page_documentation/out
  • documentation/img/pagecontent*

which reduces the size of repo and index by about 400 MB.

Since this is changes the git history, it cannot be merged, we need to rebase master on it (hence no PR hence this issue).

@kba
Copy link
Member Author

kba commented Jan 14, 2019

@tboenig I will update this once you give the okay.

@tboenig
Copy link
Contributor

tboenig commented Feb 8, 2019

It's okay.

@tboenig tboenig closed this as completed Feb 8, 2019
This issue was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants