Hi Tassilo! 2016-05-14 15:32 GMT+02:00 Tassilo Horn <[email protected]>: > I'm still not able to push/pull from savannah I basically just did what > you suggested.
I'm also experiencing problems with Savannah (I can't post to bug reports in another projects), but I was able to push a couple of commits to AUCTeX repository during last hour. What's the address of your remote repository? I recently had to change it to [email protected]:/srv/git/auctex.git Bye, Mosè _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
