On 06/21/12 09:33, Jim Meyering wrote:
Bruce Korb wrote:
On 06/21/12 08:16, Jim Meyering wrote:
Maybe just try again?
My push-ability is still disabled. Can this be fixed, please?
AFAICT, it's not disabled:
https://savannah.gnu.org/project/memberlist.php?group=gnulib
Ah. Somehow the source wound up being via the git:// protocol
instead of ssh://. Oops. Thank you.
Maybe you're having some sort of local network difficulty?
If it's a problem with savannah, it's intermittent, since
Paul just pushed a commit, and so have I.
Re the change below, either remove the leading TABs (my preference)
and s/-<</<</ or else you'll have to arrange not to trigger
the leading-TAB-prohibiting syntax check rule.
Shouldn't it be grandfathered? I very, _very_ strongly
prefer the tab-indented here docs. It makes the scope of the
command *much* clearer.
