>why don't you allow someone who has GitHub creds all set to manage it for you?
There is nothing there to "manage". Feel free to gain control if you can. >It's very easy to keep your push access to GitHub repos, just let this > someone upload your public ssh key there. I don't have an SSH key to the Axiom repo. While Microsoft was busy locking things down I was busy writing code and struggling with navel gazing about how to merge proofs with the Category Domain hierarchy. Since this was such a deep and fundamental change I was not pushing updates so I was not paying attention. Mea Culpa. Tim On Wed, Feb 5, 2025 at 3:28 PM Dima Pasechnik <dimp...@gmail.com> wrote: > Hi Tim, > > why don't you allow someone who has GitHub creds all set to manage it for > you? > It's very easy to keep your push access to GitHub repos, just let this > someone upload your public ssh key there. > > Dima > > On Wed, Feb 5, 2025 at 1:17 PM Tim Daly <axiom...@gmail.com> wrote: > > > > Axiom is dead. The site got no traffic. I don't have github access > anymore > > due to Microsoft's multi-factor "protection". It was a good 24 years. > > > > It was fun while it lasted. The last effort was a new parallel > construction > > of "Category, Domain, Proof" which integrated LEAN proofs (e.g. about > Abelians) > > as a separate, connected hierarchy, enabling proofs of algorithms like > the GCD. > > That will never see the light of day. > > > > The real cause of death is my lack of management skills and > objectionable personality. > > I thought the point of research software was to innovate, not polish. > Nobody agreed. > > Adding proofs and being literate were too radical. Dick Jenks would have > succeeded. > > > > My real frustration is that the several hundred people who contributed > in large and > > small ways over many years don't seem to even get mentioned. Credit is > so easy > > to share. Axiom would never have been re-created without effort from > people like you. > > At least I personally say "Thank you, Camm." > > > > Tim > > > > > > > > > > On Wed, Feb 5, 2025 at 12:50 PM Camm Maguire <c...@maguirefamily.org> > wrote: > >> > >> Hi Tim! I hope this note finds you well! > >> > >> Just noticing that axiom-developer.org appears to be inaccessible. > >> Github appears more recent. What is the best way to keep current with > >> axiom? > >> > >> Take care, > >> -- > >> Camm Maguire > c...@maguirefamily.org > >> > ========================================================================== > >> "The earth is but one country, and mankind its citizens." -- > Baha'u'llah > > > > -- > > You received this message because you are subscribed to the Google > Groups "FriCAS - computer algebra system" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to fricas-devel+unsubscr...@googlegroups.com. > > To view this discussion visit > https://groups.google.com/d/msgid/fricas-devel/CAJn5L%3D%2BA_D-2eaCSg22ZZfsfz3omdpP%2B%3Du-s3XNqRiDwd3vbNQ%40mail.gmail.com > . > -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/CAJn5L%3DJDp234PZds0r7RVhCRGJrpcLSUC%3DXROkc6jQcjnqaZ6g%40mail.gmail.com.
