erlang/_ObsPrj
SHA256
7
0
Fork 0
Code Issues Pull Requests 6 Actions Packages Projects Releases Wiki Activity

Forwarded PRs: #41

Closed
autogits-devel wants to merge 2 commits from PR_erlang27#3 into master
pull from: PR_erlang27#3
merge into: erlang:master
Conversation 1 Commits 2 Files Changed -
autogits-devel commented 2025-12-19 13:13:48 +01:00
Owner
Copy Link

This is a forwarded pull request by AutoGits PR Review Bot
referencing the following pull request(s):

Automatic merge enabled. This will merge when all review requirements are satisfied.

This is a forwarded pull request by AutoGits PR Review Bot referencing the following pull request(s): ### Automatic merge enabled. This will merge when all review requirements are satisfied.
autogits-devel added 1 commit 2025-12-19 13:13:48 +01:00
auto-created for erlang27 c9f2c3f6cc 
This commit was autocreated by AutoGits PR Review Bot

referencing PRs:
 PR: erlang/erlang27!3
autogits-devel removed the due date 0001-01-01 2025-12-19 13:13:49 +01:00
autogits-devel requested review from autogits_obs_staging_bot 2025-12-19 13:13:49 +01:00
autogits-devel changed title from Forwarded PRs: erlang27 to Forwarded PRs: 2025-12-19 13:14:23 +01:00
autogits-devel commented 2025-12-19 13:14:23 +01:00
Author
Owner
Copy Link

Pull request no longer contains any changes. Closing.

Pull request no longer contains any changes. Closing.
autogits-devel closed this pull request 2025-12-19 13:14:24 +01:00

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No Reviewers
autogits_obs_staging_bot
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
abergmann adamm_super autogits-devel darix jubalh matwey simotek
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: erlang/_ObsPrj#41
Delete Branch "PR_erlang27#3"

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?