Greetings. On Thu, 24 Apr 2014 06:33:00 +0200 Rafa Garcia Gallego <[email protected]> wrote: > On Wed, Apr 23, 2014 at 7:26 AM, <[email protected]> wrote: > > Minor typo correction. > > diff --git a/TODO b/TODO > > index 6e01237..535a8e4 100644 > > --- a/TODO > > +++ b/TODO > > @@ -13,7 +13,7 @@ In no particular order, at sandy.c: > > At config.def.h: > > - Bindings! > > - Use local/system script path and all > > -- Choose color-set for either black of white bg > > +- Choose color-set for either black or white bg > > - Define more syntaxes > > - Refine syntax regexes > > Merged. However, I cant seem to push to git.suckless.org: > > $ git push origin > fatal: Could not read from remote repository. > Please make sure you have the correct access rights > and the repository exists. > > > Can any suckless.org admin take a look?
This is suckless, think further. What user are you trying to use? Do you even have ssh access? Sincerely, Christoph Lohmann
