Mosè Giordano <[email protected]> writes:

Hi Mosè,

>> 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.

Yes, I've seen that and wondered why you can push and I can't.  I still
can't.

> What's the address of your remote repository?  I recently had to
> change it to [email protected]:/srv/git/auctex.git

That's exactly what I have, too.

Well, I'll try tomorrow again.

Bye,
Tassilo



_______________________________________________
bug-auctex mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/bug-auctex

Reply via email to