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

Forwarded PRs: #33

Closed
autogits-devel wants to merge 2 commits from PR_erlang#13 into master
pull from: PR_erlang#13
merge into: erlang:master
Conversation 1 Commits 2 Files Changed -
autogits-devel commented 2025-11-05 08:29:59 +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-11-05 08:30:00 +01:00
auto-created for erlang 98995de6f5 
This commit was autocreated by AutoGits PR Review Bot

referencing PRs:
 PR: erlang/erlang!13
autogits-devel removed the due date 0001-01-01 2025-11-05 08:30:00 +01:00
autogits-devel requested review from autogits_obs_staging_bot 2025-11-05 08:30:02 +01:00
autogits-devel changed title from Forwarded PRs: erlang to Forwarded PRs: 2025-11-05 08:30:15 +01:00
autogits-devel added 1 commit 2025-11-05 08:30:16 +01:00
auto-created for erlang dfec250997 
This commit was autocreated by AutoGits PR Review Bot

removing PRs:
 PR: erlang/erlang!13
autogits-devel requested review from abergmann 2025-11-05 08:30:16 +01:00
autogits-devel requested review from darix 2025-11-05 08:30:16 +01:00
autogits-devel requested review from jubalh 2025-11-05 08:30:17 +01:00
autogits-devel requested review from matwey 2025-11-05 08:30:17 +01:00
autogits-devel requested review from simotek 2025-11-05 08:30:17 +01:00
autogits-devel commented 2025-11-05 08:30:17 +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-11-05 08:30:18 +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
abergmann
darix
jubalh
matwey
simotek
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#33
Delete Branch "PR_erlang#13"

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?