Page MenuHomeIsabelle/Phabricator
Projects phabricator-setup

phabricator-setupProject
ActivePublic
Watch Project

Members (1)

Watchers

  • This project does not have any watchers.
  • View All

Details

Description

Setup of this Phabricator service (see also Phabricator Documentation).

Recent Activity
View All

Feb 14 2020

makarius updated the task description for T8: Clarify underlying Mercurial version.
Feb 14 2020, 9:30 PM · isabelle-release, phabricator-setup
makarius updated the task description for T8: Clarify underlying Mercurial version.
Feb 14 2020, 9:30 PM · isabelle-release, phabricator-setup
makarius updated the task description for T8: Clarify underlying Mercurial version.
Feb 14 2020, 9:30 PM · isabelle-release, phabricator-setup
makarius closed T8: Clarify underlying Mercurial version as Resolved.

Following Isabelle/8b0b8b9ea653, Mercurial 3.9.2 from 23-Sep-2016 is fine for now:

Feb 14 2020, 9:27 PM · isabelle-release, phabricator-setup

Feb 11 2020

makarius added a project to T8: Clarify underlying Mercurial version: isabelle-release.
Feb 11 2020, 10:45 AM · isabelle-release, phabricator-setup
makarius added a comment to T8: Clarify underlying Mercurial version.

Further hints:

Feb 11 2020, 10:44 AM · isabelle-release, phabricator-setup

Jan 12 2020

makarius added a project to T8: Clarify underlying Mercurial version: phabricator-setup.
Jan 12 2020, 4:06 PM · isabelle-release, phabricator-setup

Dec 20 2019

makarius added a comment to T7: Setup Notification server.

Some required Node.js packages:

Dec 20 2019, 4:19 PM · phabricator-setup
makarius triaged T7: Setup Notification server as Wishlist priority.
Dec 20 2019, 4:16 PM · phabricator-setup

Nov 12 2019

makarius closed T1: Support for Mercurial tags as Wontfix.
Nov 12 2019, 8:39 PM · phabricator-setup

Sep 30 2019

makarius changed the edit policy for T1: Support for Mercurial tags.
Sep 30 2019, 4:47 PM · phabricator-setup
makarius changed the edit policy for T2: SSH port for hosted repository access.
Sep 30 2019, 4:47 PM · phabricator-setup

Sep 27 2019

makarius added a project to T5: Syntax highlighting via pygments (for Isabelle/ML, Isabelle/Isar etc.): phabricator-setup.
Sep 27 2019, 7:12 PM · phabricator-setup

Sep 26 2019

makarius lowered the priority of T1: Support for Mercurial tags from Normal to Wishlist.

An easy workaround is to refer to the hgweb mirror of the same repository: https://isabelle.sketis.net/repos/isabelle/tags

Sep 26 2019, 4:07 PM · phabricator-setup
makarius edited Description on phabricator-setup.
Sep 26 2019, 11:43 AM

Sep 25 2019

makarius added a comment to T1: Support for Mercurial tags.

The Phabricator service of the Mercurial project shows the same omission. So it looks like .hgtags are not supported by Diffusion (yet?).

Sep 25 2019, 10:24 PM · phabricator-setup
makarius closed T2: SSH port for hosted repository access as Resolved.

See Isabelle/5094098f5e0c

Sep 25 2019, 8:43 PM · phabricator-setup
makarius claimed T1: Support for Mercurial tags.
Sep 25 2019, 1:53 PM · phabricator-setup
makarius claimed T2: SSH port for hosted repository access.
Sep 25 2019, 1:52 PM · phabricator-setup

Sep 24 2019

makarius edited Description on phabricator-setup.
Sep 24 2019, 11:31 PM
makarius triaged T2: SSH port for hosted repository access as Low priority.
Sep 24 2019, 10:31 PM · phabricator-setup
makarius triaged T1: Support for Mercurial tags as Normal priority.
Sep 24 2019, 10:19 PM · phabricator-setup
makarius added a member for phabricator-setup: makarius.
Sep 24 2019, 10:15 PM
makarius changed the visibility for phabricator-setup.
Sep 24 2019, 10:12 PM
makarius created phabricator-setup.
Sep 24 2019, 10:10 PM