The lightweight tag 'phpstorm-7.1.3-1' was updated to point to: 00f9a29... update .desktop file with one phpstorm creates It previously pointed to: 1f07e37... up to 7.1.3 NOTE: People pulling from the repository will not get the new tag.