Comments (14)
@Zimmi48 : done. I've also placed a redirect from https://coq.inria.fr/bugs/show_bug.cgi?id=NNN
to http://github.com/coq/coq/issues/NNN
, since there may remain some of these old urls in obscure places. For the moment this redirect is incorrect for bugs that were renumbered during the transition, I'll fix that later today.
from coq.github.io.
GitHub API doesn't support uploading attachments, so unless some people are willing to do this by hand, I guess this issue is going to be a "won't fix".
Note that currently the bugs link to attachments on Bugzilla but the plan is to preserve the attachments beyond the Bugzilla take-down (as static assets).
from coq.github.io.
Maybe though, I should have documented this in the blog post I published about the migration.
from coq.github.io.
If we do want to migrate the attachments, rather than leaving them as static content elsewhere, if someone attaches to this issue a zipfile which contains, for each bug with attachments, a zipfile named <github issue number>.zip
which contains the attachments, I can write an autohotkey script that uploads them to the correct issues. If there's a plan to preserve them elsewhere as static assets, though, is this desired?
from coq.github.io.
I'm going to leave it to @letouzey to decide what he thinks of this issue. Should we follow the initial plan of letting https://coq.inria.fr/bugfiles/ (where attachments live) survive the take down of https://coq.inria.fr/bugs/ as static assets or should we try the approach suggested by @JasonGross of uploading attachments on GitHub using a autohotkey script?
from coq.github.io.
Here come our 776 attachment numbers with their various metadata :
attachments.txt. It is actually a csv file with |
as separator, and a header row. Beware that the bug_id
fields refer to the bug number before the transition to github, so this should be combined with @Zimmi48 mapping.
If it is actually doable to upload all the corresponding files to github, I'm rather in favor of that. But beware of github : if you do something too automatic with their web interface, you'll probably be flagged as a spammer real quick...
As discussed with @Zimmi48 today, ideally the short .v
attachments should rather be put into a code block inside an extra comment or be added as gist links. And it seems that .tgz
are allowed, not only .zip
files.
from coq.github.io.
I've put today the old bugzilla definitively offline. The attachments are now static files such as this one, with a redirect for compatibility urls such as this one. Mime type and download file name should be preserved thanks to an ad-hoc .htaccess
.
from coq.github.io.
And if somebody wants to play more with these bug attachments, here comes the whole bunch of them :
bugfiles.zip (23Mb). The file names inside the archive are the attach_id
, see above the attachment list.
from coq.github.io.
@letouzey You should change this page https://coq.inria.fr/bugs/ now that the old bugzilla is offline. Probably a simple redirect to https://github.com/coq/coq/issues would be enough.
from coq.github.io.
@vbgl It is possible that this issue becomes relevant with the website migration.
from coq.github.io.
With the GitHub Pages website migration, Bugzilla attachments are no longer available on the Coq website. It's time to decide whether to migrate them to GitHub attachments or to close this issue, based on the principle that, after many years, most of these issues have been solved and/or the attachments have become irrelevant, and that if they need to be retrieved, there is still the tarball provided by Pierre in this thread.
from coq.github.io.
Does coqbot support uploading attachments to GitHub yet? I think it would be nice but not essential to get the attachments on GitHub, I expect it shouldn't be too hard to script if we already have code in coqbot for uploading attachments and commenting with them, and furthermore we'll want the ability to upload attachments for enhancing the minimizer comments, so I don't think adding this functionality to coqbot would be wasted effort. (It seems fine to go the route of making a new comment with "here's the attachment that was previously named ..." rather than editing existing comments, if that's easier to script.)
from coq.github.io.
No, GitHub still doesn't provide an official API for uploading attachment files. A comment from 2021 explained this. However, it seems that there exists an undocumented API that allows to do this. See: https://github.com/j178/github-s3. I'm not sure that abusing it in coqbot would be a good idea though.
from coq.github.io.
However, it seems that there exists an undocumented API that allows to do this. See: https://github.com/j178/github-s3
Looking at the code, this is just some go code that pretends to be the browser doing the same thing that happens when you drag and drop a file
from coq.github.io.
Related Issues (20)
- coq.inria.fr IPv6 issue? HOT 3
- Bottom half of half the #nav links from stdlib pages can't be clicked on HOT 5
- The news infrastructure could be cleaned up from the Makefile. HOT 1
- [Team page] People's names are in two different fonts.
- Installation instructions do not work on latest version of opam HOT 4
- stdlib / library duplicate urls HOT 2
- Add a non-English language documentation category on the website. HOT 3
- Replacing list of tutorials on the website with link to awesome list? HOT 1
- https://coq.inria.fr does not work anymore from a standard IPv6 browser HOT 5
- Remove announcement of Proof Assistants SE in about one month (mid-April). HOT 2
- Hidden doc versions? HOT 2
- coq.inria.fr/ is not working/reachable. HOT 2
- Comments on the user interface page HOT 7
- CSS is broken on standard library documentation
- Old links to library docs are broken HOT 4
- HTML redirects are cached by the browser. HOT 7
- Remaining things to fix after GitHub Pages migration. HOT 7
- Links with anchors do not redirect properly HOT 6
- /refman incorrect version?
- Update the "Creating and Submitting a Package" documentation
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from coq.github.io.