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.

Sign up for GitHub

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

Jump to bottom

[17.0][REM] remove bad pandoc .deb package at the repo root #671

Closed

rvalyi wants to merge 1 commit into OCA:17.0 from akretion:17.0-remove-pandoc

Member

rvalyi commented Jul 23, 2024

this pandoc .deb package was added in the root of the 17.0 branch by mistake by @CRogos in #641

cc @CRogos @pedrobaeza


          [REF] remove bad pandoc .deb file

9b53db2

Member

pedrobaeza commented Jul 23, 2024

Doing this is worse, as there's 60 MB of diff instead of 30 MB. The solution is to forced push the branch. I plan to do it massively next week.

rvalyi closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet