See recent Updates for Mercurial's HTTP protocol: https://we.phorge.it/D25471
- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Jan 13 2024
Jan 13 2024
Feb 14 2020
Feb 14 2020
Following Isabelle/8b0b8b9ea653, Mercurial 3.9.2 from 23-Sep-2016 is fine for now:
Feb 11 2020
Feb 11 2020
Further hints:
Jan 12 2020
Jan 12 2020
Dec 20 2019
Dec 20 2019
Some required Node.js packages:
Nov 12 2019
Nov 12 2019
Sep 30 2019
Sep 30 2019
Sep 27 2019
Sep 27 2019
Sep 26 2019
Sep 26 2019
An easy workaround is to refer to the hgweb mirror of the same repository: https://isabelle.sketis.net/repos/isabelle/tags
Sep 25 2019
Sep 25 2019
The Phabricator service of the Mercurial project shows the same omission. So it looks like .hgtags are not supported by Diffusion (yet?).
See Isabelle/5094098f5e0c
Sep 24 2019
Sep 24 2019