mirror of
https://github.com/php/web-rmtools.git
synced 2026-03-24 01:02:11 +01:00
[PR #9] [CLOSED] Rename VC to VS #11
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/php/web-rmtools/pull/9
Author: @cmb69
Created: 4/4/2019
Status: ❌ Closed
Base:
master← Head:vc-to-vs📝 Commits (1)
181f5b3Rename VC to VS📊 Changes
3 files changed (+7 additions, -6 deletions)
View changed files
📝
include/BuildVC.php(+3 -3)📝
include/PeclBranch.php(+1 -0)📝
include/PeclBuildVC.php(+3 -3)📄 Description
We're skipping the Pickle stuff for now, since it's not even up-to-date
for VC15. We also keep the VC prefix for some classes, such as
BuildVC.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.