Random infrastructure requests, questions and suggestions

Richard Eisenberg eir at cis.upenn.edu
Mon Sep 15 13:41:49 UTC 2014


On Sep 15, 2014, at 9:22 AM, Austin Seipp <austin at well-typed.com> wrote:

> 
> On Wed, Sep 10, 2014 at 6:32 AM, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:
>> 1. Would it be possible to add a new custom field to Trac called "Wiki page"? Tickets that are
>> about implementing a larger feature have an accompanying wiki page that summarizes the design. It
>> would help my workflow if I could just get to that wiki page from the top of a Trac ticket.
> 
> 1. I think this would be OK, but I'm rather neutral. Herbert is
> concerned I think about the proliferation of fields for our tickets,
> but I think this is reasonable. Would anyone else want this? It's easy
> to add, at least.

+1 from me


More information about the ghc-devs mailing list