Page MenuHomePhabricator

phabricator-setupProject
ActivePublic

Watchers

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

Details

Description

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

Recent Activity

Tue, Nov 12

makarius closed T1: Support for Mercurial tags as Wontfix.
Tue, Nov 12, 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