push", there is no warranty for the work, and all its users. When we speak of free software which everyone can redistribute and change the software or use