David Kastrup wrote:
Felipe Contreras [off-list ref] writes:
quoted
quoted
Besides, you say "No activity since 2010" - this is not the case,
bc380fc is from November 2013.
You think changing the execution bit of a file is considered "activity"?
For an indication of "this software has actual users", it definitely
would count as such, yes. Why would someone change the executable bit
if it did not impact his usage of the software?
Because that somebody spotted this while changing the executable bit of
other scripts, which is precisely what happened (or at least seems so
from the history).
The idea of removing software from distribution is to get rid of stuff
without a user base rather than punishing lazy developers.
No. There's tons of Git tools out there. Should we include them all in
contrib/?
--
Felipe Contreras