{
  "id": "git-pull",
  "command": "git pull",
  "category": "Sharing",
  "description": "Fetch from a remote repository and integrate the changes into the current branch.",
  "url": "https://gratisapi.com/api/git-commands/git-pull"
}
