mirror of
https://github.com/php/web-rmtools.git
synced 2026-03-24 17:22:12 +01:00
[PR #1] [CLOSED] PGO Additions #7
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/1
Author: @szarkos
Created: 1/31/2012
Status: ❌ Closed
Base:
master← Head:master📝 Commits (5)
67c51b9Added pgo-build scripts and hooks in client776c703- Hooks in client to enable pgo builds2f5a43eAdd support for PHP 5.5 and new setenv parameters46734f2Rebase repo to current versioncd4d76aRebase to current version of the scripts📊 Changes
13 files changed (+1300 additions, -878 deletions)
View changed files
📝
client/data/config/branch/php54.ini(+1 -0)➕
client/data/config/branch/php55.ini(+24 -0)📝
client/data/config/branch/phptrunk.ini(+24 -21)📝
client/data/config/repo/phpnet.ini(+3 -3)📝
client/include/Branch.php(+173 -154)📝
client/include/BranchConfig.php(+72 -69)📝
client/include/BuildVC.php(+212 -199)➕
client/include/Git.php(+56 -0)📝
client/include/Repository.php(+39 -34)📝
client/include/Tools.php(+256 -255)📝
client/script/snap.php(+203 -143)➕
pgo-build/pgo_controller.ps1(+122 -0)➕
pgo-build/setup-utils.ps1(+115 -0)📄 Description
Added PGO scripts and changes in client to enable pgo builds and concurrency.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.