git is a distributed version control system. git is free software distributed under the GPL? git has a mutable index called stage.