Re: [jakarta.ee-spec.committee] Fixing errors on Spec. pages

["Kevin Sutter" <sutter@xxxxxxxxxx>]

+1, for changes like
this, just go ahead and merge...  I still push for a review/approval
from someone before merging changes.  (I just approved this one)


---------------------------------------------------
Kevin Sutter 
STSM, MicroProfile and Jakarta EE architect @ IBM
e-mail:  sutter@xxxxxxxxxx     Twitter:  @kwsutter
phone: tl-553-3620 (office), 507-253-3620 (office)    
LinkedIn: https://www.linkedin.com/in/kevinwsutter



From:
       Ivar
Grimstad <ivar.grimstad@xxxxxxxxxxxxxxxxxxxxxx>
To:
       Jakarta
specification committee <jakarta.ee-spec.committee@xxxxxxxxxxx>
Date:
       08/26/2020
12:16
Subject:
       [EXTERNAL]
Re: [jakarta.ee-spec.committee] Fixing errors on Spec. pages
Sent
by:        jakarta.ee-spec.committee-bounces@xxxxxxxxxxx

---

My take is that minor changes/fixes are
ok to merge. 

Ivar

On Wed, Aug 26, 2020, 19:06 Ed Bratt
<ed.bratt@xxxxxxxxxx>
wrote:

Hey,

I noticed a mistake on the Jakarta Activation 1.2 Spec. page. I
submitted a PR to fix the mistake. The repo. has no restrictions on
merges. Should I just merge it?

https://github.com/jakartaee/specifications/pull/255

For small changes like this, do we want to establish a process or, can
we just take the initiative and fix it?

-- Ed

_______________________________________________
jakarta.ee-spec.committee mailing list
jakarta.ee-spec.committee@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jakarta.ee-spec.committee_______________________________________________
jakarta.ee-spec.committee mailing list
jakarta.ee-spec.committee@xxxxxxxxxxx
To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jakarta.ee-spec.committee