Re: Marking repo as archived

2022-01-25 Thread Ben M. 
1st repo has been archived:

https://github.com/mojohaus/redirector

Sandra's README commit will be cherry picked into this repository, then 
archived:
https://github.com/mojohaus/findbugs-maven-plugin-old


I do not have access to archive this repo:
https://github.com/mojohaus/findbugs-maven-plugin

Best regards,
Ben

-- 
You received this message because you are subscribed to the Google Groups 
"mojohaus-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to mojohaus-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/mojohaus-dev/12c179c7-a9a0-4a0e-aebf-198351be0d96n%40googlegroups.com.

RE: Marking repo as archived

2022-01-25 Thread 'Stefan Seifert' via mojohaus-dev 
+1 on 1+2

stefan

>-Original Message-
>From: mojohaus-dev@googlegroups.com  On
>Behalf Of Ben M.
>Sent: Monday, January 24, 2022 9:05 PM
>To: mojohaus-dev 
>Subject: Marking repo as archived
>
>Hi,
>
>I would like to archive (not delete) two repositories:
>
>1.
>    https://github.com/mojohaus/redirector
>
>"To better handle the migration away from Codehaus infrastructure, you can
>request proxy changes for your Codehaus hosted URLs."
>
>Current state: Not used anymore, the original domain is dead.
>
>
>2.
>Both
>    https://github.com/mojohaus/findbugs-maven-plugin-old
>and
>    https://github.com/mojohaus/findbugs-maven-plugin
>
>The latter was already updated by Sandra to redirect users to the spotbugs-
>plugin (by google).
>
>Archiving:
>This is available in the repository settings. The repo will be read-only,
>no issues can be created anymore. Users can still fork the repository if
>needed.
>
>WDYT?
>
>- Ben
>--
>You received this message because you are subscribed to the Google Groups
>"mojohaus-dev" group.
>To unsubscribe from this group and stop receiving emails from it, send an
>email to mailto:mojohaus-dev+unsubscr...@googlegroups.com.
>To view this discussion on the web visit
>https://groups.google.com/d/msgid/mojohaus-dev/cb476828-dd04-44c8-a124-
>632bc063fa95n%40googlegroups.com?utm_medium=email_source=footer.

-- 
You received this message because you are subscribed to the Google Groups 
"mojohaus-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to mojohaus-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/mojohaus-dev/AS8PR07MB723885FB7E5C7B19ECF5B032B85F9%40AS8PR07MB7238.eurprd07.prod.outlook.com.

Re: Marking repo as archived

2022-01-25 Thread Slawomir Jaranowski 
+1

Last time I have removed findbugs-maven-plugin from Maven parent pom
https://issues.apache.org/jira/browse/MPOM-279

wt., 25 sty 2022 o 11:09 Mirko Friedenhagen 
napisał(a):

> +1
>
> Am 25.01.2022 um 09:33 schrieb Baptiste Mathus :
>
> +1
>
> Le lun. 24 janv. 2022 à 21:04, Ben M.  a écrit :
>
>> Hi,
>>
>> I would like to archive (not delete) two repositories:
>>
>> 1.
>> https://github.com/mojohaus/redirector
>>
>> "To better handle the migration away from Codehaus infrastructure, you
>> can request proxy changes for your Codehaus hosted URLs."
>>
>> Current state: Not used anymore, the original domain is dead.
>>
>>
>> 2.
>> Both
>> https://github.com/mojohaus/findbugs-maven-plugin-old
>> and
>> https://github.com/mojohaus/findbugs-maven-plugin
>>
>> The latter was already updated by Sandra to redirect users to the
>> spotbugs-plugin (by google).
>>
>> Archiving:
>> This is available in the repository settings. The repo will be read-only,
>> no issues can be created anymore. Users can still fork the repository if
>> needed.
>>
>> WDYT?
>>
>> - Ben
>>
>> --
>> You received this message because you are subscribed to the Google Groups
>> "mojohaus-dev" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> email to mojohaus-dev+unsubscr...@googlegroups.com.
>> To view this discussion on the web visit
>> https://groups.google.com/d/msgid/mojohaus-dev/cb476828-dd04-44c8-a124-632bc063fa95n%40googlegroups.com
>> 
>> .
>>
>
> --
> You received this message because you are subscribed to the Google Groups
> "mojohaus-dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to mojohaus-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/mojohaus-dev/CANWgJS52EdniyuO_QjxZbeB6SHwNy3%2Bfheb3nKy%3Dv9yvf7H%3DKQ%40mail.gmail.com
> 
> .
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "mojohaus-dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to mojohaus-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/mojohaus-dev/FB7D691C-415B-441A-A364-0FE7D07BEDD1%40gmx.de
> 
> .
>


-- 
Sławomir Jaranowski

-- 
You received this message because you are subscribed to the Google Groups 
"mojohaus-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to mojohaus-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/mojohaus-dev/CAGjJkv37gVa3wLsrb%2Bf67EoMnbn-XUb_xePpsXgKGUOv6t2Dag%40mail.gmail.com.

Re: Marking repo as archived

2022-01-25 Thread Mirko Friedenhagen 
+1

> Am 25.01.2022 um 09:33 schrieb Baptiste Mathus :
> 
> +1
> 
> Le lun. 24 janv. 2022 à 21:04, Ben M.  > a écrit :
> Hi,
> 
> I would like to archive (not delete) two repositories:
> 
> 1. 
> https://github.com/mojohaus/redirector 
> 
> 
> "To better handle the migration away from Codehaus infrastructure, you can 
> request proxy changes for your Codehaus hosted URLs."
> 
> Current state: Not used anymore, the original domain is dead.
> 
> 
> 2.
> Both
> https://github.com/mojohaus/findbugs-maven-plugin-old 
> 
> and
> https://github.com/mojohaus/findbugs-maven-plugin 
> 
> 
> The latter was already updated by Sandra to redirect users to the 
> spotbugs-plugin (by google).
> 
> Archiving:
> This is available in the repository settings. The repo will be read-only, no 
> issues can be created anymore. Users can still fork the repository if needed.
> 
> WDYT?
> 
> - Ben
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "mojohaus-dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to mojohaus-dev+unsubscr...@googlegroups.com 
> .
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/mojohaus-dev/cb476828-dd04-44c8-a124-632bc063fa95n%40googlegroups.com
>  
> .
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "mojohaus-dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to mojohaus-dev+unsubscr...@googlegroups.com 
> .
> To view this discussion on the web visit 
> https://groups.google.com/d/msgid/mojohaus-dev/CANWgJS52EdniyuO_QjxZbeB6SHwNy3%2Bfheb3nKy%3Dv9yvf7H%3DKQ%40mail.gmail.com
>  
> .

-- 
You received this message because you are subscribed to the Google Groups 
"mojohaus-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to mojohaus-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/mojohaus-dev/FB7D691C-415B-441A-A364-0FE7D07BEDD1%40gmx.de.

Re: Marking repo as archived

2022-01-25 Thread Anders Hammar 
+1

/Anders

On Mon, Jan 24, 2022 at 9:04 PM Ben M.  wrote:

> Hi,
>
> I would like to archive (not delete) two repositories:
>
> 1.
> https://github.com/mojohaus/redirector
>
> "To better handle the migration away from Codehaus infrastructure, you can
> request proxy changes for your Codehaus hosted URLs."
>
> Current state: Not used anymore, the original domain is dead.
>
>
> 2.
> Both
> https://github.com/mojohaus/findbugs-maven-plugin-old
> and
> https://github.com/mojohaus/findbugs-maven-plugin
>
> The latter was already updated by Sandra to redirect users to the
> spotbugs-plugin (by google).
>
> Archiving:
> This is available in the repository settings. The repo will be read-only,
> no issues can be created anymore. Users can still fork the repository if
> needed.
>
> WDYT?
>
> - Ben
>
> --
> You received this message because you are subscribed to the Google Groups
> "mojohaus-dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to mojohaus-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/mojohaus-dev/cb476828-dd04-44c8-a124-632bc063fa95n%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"mojohaus-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to mojohaus-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/mojohaus-dev/CAKDUN1uJN-a7g0PrhAPpVUyxchHr7zky31fnOknWoqps2KbA3Q%40mail.gmail.com.

Re: Marking repo as archived

2022-01-25 Thread Baptiste Mathus 
+1

Le lun. 24 janv. 2022 à 21:04, Ben M.  a écrit :

> Hi,
>
> I would like to archive (not delete) two repositories:
>
> 1.
> https://github.com/mojohaus/redirector
>
> "To better handle the migration away from Codehaus infrastructure, you can
> request proxy changes for your Codehaus hosted URLs."
>
> Current state: Not used anymore, the original domain is dead.
>
>
> 2.
> Both
> https://github.com/mojohaus/findbugs-maven-plugin-old
> and
> https://github.com/mojohaus/findbugs-maven-plugin
>
> The latter was already updated by Sandra to redirect users to the
> spotbugs-plugin (by google).
>
> Archiving:
> This is available in the repository settings. The repo will be read-only,
> no issues can be created anymore. Users can still fork the repository if
> needed.
>
> WDYT?
>
> - Ben
>
> --
> You received this message because you are subscribed to the Google Groups
> "mojohaus-dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to mojohaus-dev+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/mojohaus-dev/cb476828-dd04-44c8-a124-632bc063fa95n%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"mojohaus-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to mojohaus-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/mojohaus-dev/CANWgJS52EdniyuO_QjxZbeB6SHwNy3%2Bfheb3nKy%3Dv9yvf7H%3DKQ%40mail.gmail.com.