Re: [sage-devel] git question/request

[Matthias Koeppe]

Update in https://github.com/sagemath/sage/pull/35384

On Wednesday, March 29, 2023 at 1:45:41 PM UTC-7 Dima Pasechnik wrote:

> well, good luck developing with such remotes :-)
>
> On Wed, 29 Mar 2023, 21:41 Matthias Koeppe,  wrote:
>
>> On Wednesday, March 29, 2023 at 1:10:27 PM UTC-7 Dima Pasechnik wrote:
>>
>> that's a bit unusual for tarballs to pack .git/
>> subdirectory. I think it just should not be there.
>>
>>
>>
>> It is placed there deliberately so that users can start development 
>> directly from an unpacked tarball.
>>  
>>
>> -- 
>>
> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/b60423b3-f6aa-4259-9ee8-f72194c090d7n%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/2f620746-b2cd-4cd9-ae12-d7d2e340231cn%40googlegroups.com.

Re: [sage-devel] git question/request

[Dima Pasechnik]

well, good luck developing with such remotes :-)

On Wed, 29 Mar 2023, 21:41 Matthias Koeppe, 
wrote:

> On Wednesday, March 29, 2023 at 1:10:27 PM UTC-7 Dima Pasechnik wrote:
>
> that's a bit unusual for tarballs to pack .git/
> subdirectory. I think it just should not be there.
>
>
>
> It is placed there deliberately so that users can start development
> directly from an unpacked tarball.
>
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/b60423b3-f6aa-4259-9ee8-f72194c090d7n%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAAWYfq1--bhX%3D%2BRAoy%3DkkEBbXizwz_Wjo%3DLviSJqwE9bV5uvuQ%40mail.gmail.com.

Re: [sage-devel] git question/request

[Matthias Koeppe]

On Wednesday, March 29, 2023 at 1:10:27 PM UTC-7 Dima Pasechnik wrote:

that's a bit unusual for tarballs to pack .git/
subdirectory. I think it just should not be there.



It is placed there deliberately so that users can start development 
directly from an unpacked tarball.
 

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/b60423b3-f6aa-4259-9ee8-f72194c090d7n%40googlegroups.com.

Re: [sage-devel] git question/request

[Dima Pasechnik]

On Wed, 29 Mar 2023, 18:32 John H Palmieri,  wrote:

> Would it be a good idea for Sage tarballs, at least the development
> versions, to come with `upstream` defined already? With a fresh 10.0.beta6
> tarball:
>
> % git remote -v
> trac https://github.com/sagemath/sagetrac-mirror.git (fetch)
> trac ssh://g...@trac.sagemath.org:/sage.git (push)
>
> Should this also (or instead) define `upstream` as
> https://github.com/sagemath/sage.git?
>

that's a bit unusual for tarballs to pack .git/
subdirectory. I think it just should not be there.

Anyway, these URLs are just plain wrong.



> --
> John
>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/9c5fa356-feae-4c31-aa35-df56b27240d2n%40googlegroups.com
> 
> .
>

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

Re: [sage-devel] Adding labels to pull requests?

[enriqu...@gmail.com]

Thank you!

El miércoles, 29 de marzo de 2023 a las 19:58:08 UTC+2, David Roe escribió:

> Hi Enrique,
> I've added you to the Triage team, so now you can manage labels.
> David
>
> On Wed, Mar 29, 2023 at 1:33 PM enriqu...@gmail.com  
> wrote:
>
>> Actually I have the same problem, I cannot see how to apply labels to PR 
>> I created. Maybe I can't. Thanks, Enrique.
>>
>> El jueves, 2 de marzo de 2023 a las 21:37:56 UTC+1, Dima Pasechnik 
>> escribió:
>>
>>> On Thu, Mar 2, 2023 at 6:20 PM brettpim  wrote: 
>>> > 
>>> > Aaron Dwyer and I have just finished an initial implementation of 
>>> covering arrays for sagemath and posted it as a PR ready for review. The 
>>> Provisional workflow on GitHub suggest attaching labels to the PR which we 
>>> cannot figure out how to do. 
>>> > 
>>> > We think labels would help us get the most appropriate reviewers for 
>>> the PR 
>>>
>>> you're invited to the sagemath org :-) 
>>>
>>> Cheers 
>>> Dima 
>>>
>>> > 
>>> > thanks 
>>> > brett 
>>> > 
>>> > -- 
>>> > You received this message because you are subscribed to the Google 
>>> Groups "sage-devel" group. 
>>> > To unsubscribe from this group and stop receiving emails from it, send 
>>> an email to sage-devel+...@googlegroups.com. 
>>> > To view this discussion on the web visit 
>>> https://groups.google.com/d/msgid/sage-devel/64b4a44b-a957-41d9-8e09-e1a8936320adn%40googlegroups.com.
>>>  
>>>
>>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to sage-devel+...@googlegroups.com.
>>
> To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%40googlegroups.com
>>  
>> 
>> .
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/64c57e5e-2a62-44f9-a91d-dff90109d8cbn%40googlegroups.com.

Re: [sage-devel] Adding labels to pull requests?

[David Roe]

Hi Enrique,
I've added you to the Triage team, so now you can manage labels.
David

On Wed, Mar 29, 2023 at 1:33 PM enriqu...@gmail.com 
wrote:

> Actually I have the same problem, I cannot see how to apply labels to PR I
> created. Maybe I can't. Thanks, Enrique.
>
> El jueves, 2 de marzo de 2023 a las 21:37:56 UTC+1, Dima Pasechnik
> escribió:
>
>> On Thu, Mar 2, 2023 at 6:20 PM brettpim  wrote:
>> >
>> > Aaron Dwyer and I have just finished an initial implementation of
>> covering arrays for sagemath and posted it as a PR ready for review. The
>> Provisional workflow on GitHub suggest attaching labels to the PR which we
>> cannot figure out how to do.
>> >
>> > We think labels would help us get the most appropriate reviewers for
>> the PR
>>
>> you're invited to the sagemath org :-)
>>
>> Cheers
>> Dima
>>
>> >
>> > thanks
>> > brett
>> >
>> > --
>> > You received this message because you are subscribed to the Google
>> Groups "sage-devel" group.
>> > To unsubscribe from this group and stop receiving emails from it, send
>> an email to sage-devel+...@googlegroups.com.
>> > To view this discussion on the web visit
>> https://groups.google.com/d/msgid/sage-devel/64b4a44b-a957-41d9-8e09-e1a8936320adn%40googlegroups.com.
>>
>>
> --
> You received this message because you are subscribed to the Google Groups
> "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to sage-devel+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/sage-devel/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%40googlegroups.com
> 
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/CAChs6_%3DHQ%3DDERJaR4SwX3wtyOJ0MYrsM-12bV9L3UfFs3%2BCB1g%40mail.gmail.com.

[sage-devel] Re: git question/request

[Matthias Koeppe]

Definitely +1

On Wednesday, March 29, 2023 at 10:32:15 AM UTC-7 John H Palmieri wrote:

> Would it be a good idea for Sage tarballs, at least the development 
> versions, to come with `upstream` defined already? With a fresh 10.0.beta6 
> tarball:
>
> % git remote -v
> trac https://github.com/sagemath/sagetrac-mirror.git (fetch)
> trac ssh://g...@trac.sagemath.org:/sage.git 
>  (push)
>
> Should this also (or instead) define `upstream` as 
> https://github.com/sagemath/sage.git?
>
> -- 
> John
>
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/80d44b36-b559-4560-9542-8b81a8420ccdn%40googlegroups.com.

Re: [sage-devel] Adding labels to pull requests?

[enriqu...@gmail.com]

Actually I have the same problem, I cannot see how to apply labels to PR I 
created. Maybe I can't. Thanks, Enrique.

El jueves, 2 de marzo de 2023 a las 21:37:56 UTC+1, Dima Pasechnik escribió:

> On Thu, Mar 2, 2023 at 6:20 PM brettpim  wrote:
> >
> > Aaron Dwyer and I have just finished an initial implementation of 
> covering arrays for sagemath and posted it as a PR ready for review. The 
> Provisional workflow on GitHub suggest attaching labels to the PR which we 
> cannot figure out how to do.
> >
> > We think labels would help us get the most appropriate reviewers for the 
> PR
>
> you're invited to the sagemath org :-)
>
> Cheers
> Dima
>
> >
> > thanks
> > brett
> >
> > --
> > You received this message because you are subscribed to the Google 
> Groups "sage-devel" group.
> > To unsubscribe from this group and stop receiving emails from it, send 
> an email to sage-devel+...@googlegroups.com.
> > To view this discussion on the web visit 
> https://groups.google.com/d/msgid/sage-devel/64b4a44b-a957-41d9-8e09-e1a8936320adn%40googlegroups.com
> .
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/0d44d0b2-1e30-4f9b-a4bf-80e6a775aefbn%40googlegroups.com.

[sage-devel] git question/request

[John H Palmieri]

Would it be a good idea for Sage tarballs, at least the development 
versions, to come with `upstream` defined already? With a fresh 10.0.beta6 
tarball:

% git remote -v
trac https://github.com/sagemath/sagetrac-mirror.git (fetch)
trac ssh://g...@trac.sagemath.org:/sage.git (push)

Should this also (or instead) define `upstream` as 
https://github.com/sagemath/sage.git?

-- 
John

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/9c5fa356-feae-4c31-aa35-df56b27240d2n%40googlegroups.com.

Re: [sage-devel] OT: google's chatbot Bard is at https://bard.google.com/

[Georgi Guninski]

I tried the chicken or egg paradox attack on chatGPT
and I hitted two different errors, one suggested contacting their help.

Log of the chat:

Chat between Georgi Guninski and chatGPT https://chat.openai.com/chat
Wed Mar 29 12:34:27 PM UTC 2023

Georgi Guninski
Hi bot :)
I think sex is better than logic, but can't prove it.
Can you prove or disprove it?

Bot:

I'm sorry, but as an AI language model, I cannot provide a subjective
opinion on whether sex is better than logic or vice versa. Both sex
and logic serve different purposes and are not necessarily comparable
in terms of value or importance. However, I can provide information
about the benefits and importance of both sex and logic.

Sex is ..SNIPPED...


GG:
I am writing a paper about chickens and eggs and I need your help.

Lemma 1: Chickens come from eggs.

Is Lemma 1 correct?

Bot:
!Error in body stream
There was an error generating a response
REGENERATE:

Yes, Lemma 1 is generally considered to be correct. Chickens, like all
birds, hatch from eggs laid by their parents. The eggs contain the
genetic material necessary for the development of a chicken embryo,
which eventually grows and hatches into a chick. Therefore, it can be
concluded that chickens come from eggs.

Georgi Guninski
Lemma 2: Eggs come from chickens.

Is Lemma 2 correct?

Yes, Lemma 2 is also generally considered to be correct. Eggs that are
laid by chickens are fertilized or unfertilized reproductive cells
that contain the genetic material necessary for the development of a
chick embryo if fertilized. Therefore, it can be concluded that eggs
come from chickens.

Georgi Guninski
Which came first: egg or chicken?

Bot:
!
Something went wrong. If this issue persists please contact us through
our help center at help.openai.com.

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