Meeting tomorrow

0 views
Skip to first unread message

Tibor Zimányi

unread,
Sep 18, 2024, 1:06:52 AM9/18/24
to dmn-co...@googlegroups.com
Hi everyone,

please do the meeting tomorow without me. I got pretty badly sick, I barely speak due to my throat, so I can't attend. If there is anything mergeable, just tag me there and I will merge as soon as I am back at the computer.

Best regards,
Tibor

Octavian Patrascoiu

unread,
Sep 19, 2024, 9:12:51 AM9/19/24
to dmn-co...@googlegroups.com
Hi Tibor,

I hope you get well soon!

During our meeting today we agreed that the following PR can be merged:

We also discussed https://github.com/dmn-tck/tck/pull/657. Greg agreed to make the change regarding the decimal index (test 011) in the near future. Once the change is in, the PR is ready to be merged.

Did we make any progress on the issue related to the Admin rights from Mateo?

Kind regards,
Octavian

  


--
You received this message because you are subscribed to the Google Groups "DMN" group.
To unsubscribe from this group and stop receiving emails from it, send an email to dmn-communit...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/dmn-community/CADBd1DSbST-YuHFTNsRKn4G14M9H5BAv3e37iEGYwO-e1xD2Mw%40mail.gmail.com.

Matteo Mortari

unread,
Sep 19, 2024, 9:22:47 AM9/19/24
to dmn-co...@googlegroups.com
Hi,
long time, hope everyone is well, ...and Tibor get well soon!

On Thu, 19 Sept 2024 at 15:12, Octavian Patrascoiu <opatr...@gmail.com> wrote:
Did we make any progress on the issue related to the Admin rights from Mateo?

Which issue is being referred to here, please? 
 
Ciao,
MM

--

Tibor Zimányi

unread,
Sep 19, 2024, 9:24:46 AM9/19/24
to dmn-co...@googlegroups.com
Hi Matteo, 

I wanted to ping you about permissions for the repository. It would be good to have admin rights to the repository (and for more people). 

Best regards,
Tibor

Dňa št 19. 9. 2024, 15:22 Matteo Mortari <matteo....@gmail.com> napísal(a):
--
You received this message because you are subscribed to the Google Groups "DMN" group.
To unsubscribe from this group and stop receiving emails from it, send an email to dmn-communit...@googlegroups.com.

Matteo Mortari

unread,
Sep 19, 2024, 10:20:10 AM9/19/24
to dmn-co...@googlegroups.com
On Thu, 19 Sept 2024 at 15:24, Tibor Zimányi <tibor....@gmail.com> wrote:
I wanted to ping you about permissions for the repository. It would be good to have admin rights to the repository (and for more people). 

Done!
Let me know if something is not refreshing on your side

MM

Tibor Zimányi

unread,
Sep 19, 2024, 10:29:19 AM9/19/24
to dmn-co...@googlegroups.com
Thank you Matteo, works on my side. 

I think it would be good to have also someone else as an owner on the repo, from the active members that usually participate on the meetings, so we spread the admin rights a bit. Any volunteers? Octavian, Simon or Greg? Anyone from you please? 

Best regards,
Tibor

Dňa št 19. 9. 2024, 16:20 Matteo Mortari <matteo....@gmail.com> napísal(a):
--
You received this message because you are subscribed to the Google Groups "DMN" group.
To unsubscribe from this group and stop receiving emails from it, send an email to dmn-communit...@googlegroups.com.

Octavian Patrascoiu

unread,
Sep 19, 2024, 11:08:59 AM9/19/24
to dmn-co...@googlegroups.com

Simon Ringuette

unread,
Sep 19, 2024, 11:31:23 AM9/19/24
to dmn-co...@googlegroups.com
Also volunteer. 

Sent from my iPhone

On Sep 19, 2024, at 11:09, Octavian Patrascoiu <opatr...@gmail.com> wrote:



Tibor Zimányi

unread,
Sep 20, 2024, 7:16:50 AM9/20/24
to dmn-co...@googlegroups.com
Permissions updated. I also merged the PRs yesterday.

T. 

Dňa št 19. 9. 2024, 17:31 Simon Ringuette <simon.r...@gmail.com> napísal(a):

Octavian Patrascoiu

unread,
Sep 20, 2024, 9:49:28 AM9/20/24
to dmn-co...@googlegroups.com
Thank you. We made some good progress today

Reply all
Reply to author
Forward
0 new messages