Bruce Korb wrote: > 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.
You wrote the test, so your preference matters more than mine. Just ensure that "make sc_maint" still passes. You may have to add an exclusion for that file in cfg.mk. There are a few similar ones near the bottom of that file.