Yes, it is correct. muralimani is the user id of Github. The mail id for github - murali.m...@gmail.com
On Sun, Aug 19, 2018 at 7:03 PM Guozhang Wang <wangg...@gmail.com> wrote: > Hello, > > I cannot find the id "muralimani" for either JIRA or wiki system. Could you > double check if it is created? > > > Guozhang > > > On Sun, Aug 19, 2018 at 12:46 AM, Murali Mani <murali.m...@gmail.com> > wrote: > > > Hi, > > > > Could you please add me to the contributor list? My jira id is muralimani > > > > -- > > regards > > Murali Krishnan Mani > > Ph: +44 (0)7432128519 > > > > > > -- > -- Guozhang > -- regards Murali Krishnan Mani Ph: +44 (0)7432128519