php/web-doc-editor
1
0
Fork 0
mirror of https://github.com/php/web-doc-editor.git synced 2026-03-24 01:02:17 +01:00
Code Issues 12 Packages Projects Releases Wiki Activity

[PR #9] Patch download link directly from cron mails #11

New Issue
Open
opened 2026-01-24 11:41:15 +01:00 by admin · 0 comments
admin commented 2026-01-24 11:41:15 +01:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/php/web-doc-editor/pull/9
Author: @alfsb
Created: 4/12/2016
Status: 🔄 Open

Base: master ← Head: master

📝 Commits (3)

  • bc14d89 Patch download link directly from cron mails.
  • ca9acb5 Clear log output.
  • 922e439 is not set if lock fails.

📊 Changes

3 files changed (+41 additions, -11 deletions)

View changed files

➕ diffRaw.php (+32 -0)
📝 php/RepositoryManager.php (+3 -4)
📝 scripts/cron/send_work_to_list.php (+6 -7)

📄 Description

No description provided

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/php/web-doc-editor/pull/9 **Author:** [@alfsb](https://github.com/alfsb) **Created:** 4/12/2016 **Status:** 🔄 Open **Base:** `master` ← **Head:** `master` --- ### 📝 Commits (3) - [`bc14d89`](https://github.com/php/web-doc-editor/commit/bc14d897bc2435ceadc98bbc8c662f96aec43fb3) Patch download link directly from cron mails. - [`ca9acb5`](https://github.com/php/web-doc-editor/commit/ca9acb5cb2e04f1a6cf924e199cd000e3d10aaf7) Clear log output. - [`922e439`](https://github.com/php/web-doc-editor/commit/922e4392f784bb8d5664c1dc61f8cd3a98af63e7) is not set if lock fails. ### 📊 Changes **3 files changed** (+41 additions, -11 deletions) <details> <summary>View changed files</summary> ➕ `diffRaw.php` (+32 -0) 📝 `php/RepositoryManager.php` (+3 -4) 📝 `scripts/cron/send_work_to_list.php` (+6 -7) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
admin added the pull-request label 2026-01-24 11:41:15 +01:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
pull-request
Mirrored from GitHub Pull Request
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
admin
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: php/web-doc-editor#11
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?