mirror of
https://github.com/php/web-rmtools.git
synced 2026-03-24 09:12:18 +01:00
[PR #2] [MERGED] Master #10
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/2
Author: @rhyan005
Created: 10/29/2016
Status: ✅ Merged
Merged: 6/7/2017
Merged by: @php-pulls
Base:
master← Head:master📝 Commits (10+)
ad38136set the next 5.6 beta8c9c091set memory limit to the build php processfc9b7b8set execution time limit to 2 hoursc93e8b2disable igbinary for redis9905cbbaddde config for cairod04f3abconfigs for exts and libs done so farb3f08ebadded config for dom_varimport0eb5290added php7 configs343832bupdated php sources and deps3cd441ffix appending non core config lines📊 Changes
120 files changed (+3892 additions, -28070 deletions)
View changed files
📝
.gitignore(+3 -0)➕
README.md(+49 -0)➕
VERSION(+1 -0)➕
bin/pecl.bat(+34 -0)➕
bin/pecl_build_all.bat(+59 -0)➕
bin/pecl_build_next.bat(+64 -0)📝
bin/pecl_rss.bat(+1 -1)📝
bin/pecl_rss_task.bat(+0 -0)📝
bin/pecl_snap_pre.bat(+2 -2)📝
bin/pickle.bat(+82 -80)📝
bin/pickle_build_all.bat(+12 -13)➕
bin/pickle_build_next.bat(+69 -0)➕
bin/pickle_ctl.bat(+24 -0)➕
bin/pickleweb_sync_task.bat(+44 -0)➕
bin/rmtools_setvars.bat(+16 -0)➕
bin/snap.bat(+13 -0)➕
bin/snapshot_task.bat(+37 -0)➖
client/bin/pecl_build_next.bat(+0 -59)➖
client/bin/snap.bat(+0 -53)➖
client/bin/snapshot_task.bat(+0 -43)...and 80 more files
📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.