Tassilo Horn <[email protected]> writes: > First, you need a savannah account (https://savannah.gnu.org) if you > don't have one already. In your account settings, you have to register > your public SSH key which will be used for authentication by git. Go to > the AUCTeX page (https://savannah.gnu.org/projects/auctex/) and apply > for membership. I'll then accept and you are ready to push.
Accepted, you should be able to push your change. Viele Grüße, Tassilo _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
