Month: January 2019
-
searching Curlie (the DMOZ replacement) is not working successfully for me, but …
https://en.wikipedia.org/wiki/Curlie https://Curlie.org But using Google with the “site” command works well: Better than nothing.
-
Git won’t push into a bare repository on server – mentioning receive.denyCurrentBranch
https://stackoverflow.com/questions/804545/what-is-this-git-warning-message-when-pushing-changes-to-a-remote-repository This is certainly a “brute force” approach – so be cautious!