--
You received this message because you are subscribed to a topic in the Google Groups "Eclipse MicroProfile" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/microprofile/FJ_Gs-Lj3Ck/unsubscribe.
To unsubscribe from this group and all its topics, send an email to microprofile+unsubscribe@googlegroups.com.
To post to this group, send email to microp...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/microprofile/a645e08a-8c7b-4445-8224-d2ab2762d15b%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Thanks!
On Aug 31, 2017 20:54, "John D. Ament" <john.d...@gmail.com> wrote:
Done & Done--
On Thursday, August 31, 2017 at 8:43:01 PM UTC-4, Ondro Mihályi wrote:I don't have permissions to update the site-config repository, so I created a PR: https://github.com/microprofile/microprofile-site-config/pull/80 to add metrics API.--Ondro
On Friday, September 1, 2017 at 1:51:48 AM UTC+2, John D. Ament wrote:I believe we have to populate entries on https://github.com/microprofile/microprofile-site-config/blob/master/site.yaml and then do some kind of magic to make the website go.John
On Thursday, August 31, 2017 at 7:28:39 PM UTC-4, Kevin Sutter wrote:Hi,
I thought all of our code repos would automatically be listed on http://microprofile.io/projects. I was just going to use this for a potential partner, but I noticed that microprofile-metrics is not listed... Do we need to do something special to get all projects listed here automatically?
Thanks!
Kevin
You received this message because you are subscribed to a topic in the Google Groups "Eclipse MicroProfile" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/microprofile/FJ_Gs-Lj3Ck/unsubscribe.
To unsubscribe from this group and all its topics, send an email to microprofile...@googlegroups.com.
--
You received this message because you are subscribed to a topic in the Google Groups "Eclipse MicroProfile" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/microprofile/FJ_Gs-Lj3Ck/unsubscribe.
To unsubscribe from this group and all its topics, send an email to microprofile+unsubscribe@googlegroups.com.
To post to this group, send email to microp...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/microprofile/66f2ab32-ff9d-48bf-bf48-e702c6b3cfdc%40googlegroups.com.