Re: [omr-dev] GitHub Label Taxonomy?

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [omr-dev] GitHub Label Taxonomy?

From: Matthew Gaudet <magaudet@xxxxxxxxxxxxxxxxxx>
Date: Wed, 28 Sep 2016 14:59:37 -0400
Delivered-to: omr-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/omr-dev>
List-help: <mailto:omr-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/omr-dev>, <mailto:omr-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/omr-dev>, <mailto:omr-dev-request@eclipse.org?subject=unsubscribe>
User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.3.0

On 9/28/2016 2:50 PM, Filip Jeremic wrote:

Good idea, we need to start tagging the issues. I suggest to use
"Compiler" rather than "JIT" so as to not set precedents on OMR
/compiler /technology.

- Filip


Good point :D


-- Matt

References:
- [omr-dev] GitHub Label Taxonomy?
  - From: Matthew Gaudet
- Re: [omr-dev] GitHub Label Taxonomy?
  - From: Leonardo
- Re: [omr-dev] GitHub Label Taxonomy?
  - From: Filip Jeremic

Prev by Date: Re: [omr-dev] GitHub Label Taxonomy?
Next by Date: Re: [omr-dev] GitHub Label Taxonomy?
Previous by thread: Re: [omr-dev] GitHub Label Taxonomy?
Next by thread: Re: [omr-dev] GitHub Label Taxonomy?
Index(es):
- Date
- Thread

Breadcrumbs