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/CAAWYfq1nEBNrmwQ0NsX8%2Bbm%2Bvhw%3DmC3P0CrxqRhot2EmDpoHOw%40mail.gmail.com.
