You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@maven.apache.org by Tamás Cservenák <ta...@cservenak.net> on 2017/03/31 21:02:55 UTC
Perms for https://github.com/apache/maven-indexer
Howdy,
it seems I have no powers to manage MI mirror at
https://github.com/apache/maven-indexer
Could someone help here, or this is infra issue?
Thanks,
~t~
--
Thanks,
~t~
Re: Perms for https://github.com/apache/maven-indexer
Posted by Hervé BOUTEMY <he...@free.fr>.
and I don't like to have a commit just to tell GitHub issue tracker to do
something
would it work in a branch, that we can delete after?
that would be much better
Regards,
Hervé
Le samedi 1 avril 2017, 12:09:03 CEST Robert Scholte a écrit :
> There are some magic keywords for closing issues via the commit comment[1]
> However, nothing to close as "Won't fix" or to cleanup from our side.
>
> Robert
>
> [1] https://help.github.com/articles/closing-issues-via-commit-messages/
>
>
> On Sat, 01 Apr 2017 12:05:50 +0200, Hervé BOUTEMY <he...@free.fr>
>
> wrote:
> > Hi,
> >
> > AFAIK, github mirror is read-only for everybody
> >
> > see https://reference.apache.org/pmc/github : it does not tell what is
> > not
> > possible, but what is expected
> >
> > Regards,
> >
> > Hervé
> >
> > Le vendredi 31 mars 2017, 21:02:55 CEST Tamás Cservenák a écrit :
> >> Howdy,
> >>
> >> it seems I have no powers to manage MI mirror at
> >> https://github.com/apache/maven-indexer
> >>
> >> Could someone help here, or this is infra issue?
> >>
> >>
> >> Thanks,
> >> ~t~
> >
> > ---------------------------------------------------------------------
> > To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
> > For additional commands, e-mail: dev-help@maven.apache.org
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
> For additional commands, e-mail: dev-help@maven.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
For additional commands, e-mail: dev-help@maven.apache.org
Re: Perms for https://github.com/apache/maven-indexer
Posted by Robert Scholte <rf...@apache.org>.
There are some magic keywords for closing issues via the commit comment[1]
However, nothing to close as "Won't fix" or to cleanup from our side.
Robert
[1] https://help.github.com/articles/closing-issues-via-commit-messages/
On Sat, 01 Apr 2017 12:05:50 +0200, Hervé BOUTEMY <he...@free.fr>
wrote:
> Hi,
>
> AFAIK, github mirror is read-only for everybody
>
> see https://reference.apache.org/pmc/github : it does not tell what is
> not
> possible, but what is expected
>
> Regards,
>
> Hervé
>
> Le vendredi 31 mars 2017, 21:02:55 CEST Tamás Cservenák a écrit :
>> Howdy,
>>
>> it seems I have no powers to manage MI mirror at
>> https://github.com/apache/maven-indexer
>>
>> Could someone help here, or this is infra issue?
>>
>>
>> Thanks,
>> ~t~
>
>
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
> For additional commands, e-mail: dev-help@maven.apache.org
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
For additional commands, e-mail: dev-help@maven.apache.org
Re: Perms for https://github.com/apache/maven-indexer
Posted by Hervé BOUTEMY <he...@free.fr>.
Hi,
AFAIK, github mirror is read-only for everybody
see https://reference.apache.org/pmc/github : it does not tell what is not
possible, but what is expected
Regards,
Hervé
Le vendredi 31 mars 2017, 21:02:55 CEST Tamás Cservenák a écrit :
> Howdy,
>
> it seems I have no powers to manage MI mirror at
> https://github.com/apache/maven-indexer
>
> Could someone help here, or this is infra issue?
>
>
> Thanks,
> ~t~
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@maven.apache.org
For additional commands, e-mail: dev-help@maven.apache.org