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

Forwarded PRs: gleam #39

Open
autogits-devel wants to merge 1 commits from PR_gleam#4 into master
pull from: PR_gleam#4
merge into: erlang:master
Conversation 2 Commits 1 Files Changed 1 +1 -1
autogits-devel commented 2025-11-26 17:31:27 +01:00
Owner
Copy Link

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

PR: erlang/gleam!4

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): PR: erlang/gleam!4 ### Automatic merge enabled. This will merge when all review requirements are satisfied.
autogits-devel added 1 commit 2025-11-26 17:31:28 +01:00
auto-created for gleam 82cddb7f82 
This commit was autocreated by AutoGits PR Review Bot

referencing PRs:
 PR: erlang/gleam!4
autogits-devel removed the due date 0001-01-01 2025-11-26 17:31:28 +01:00
autogits-devel requested review from autogits_obs_staging_bot 2025-11-26 17:31:31 +01:00
autogits_obs_staging_bot commented 2025-11-26 17:32:57 +01:00
First-time contributor
Copy Link

Build is started in https://build.opensuse.org/project/show/home:autogits_obs_staging_bot:erlang:PR:39 .

Build is started in https://build.opensuse.org/project/show/home:autogits_obs_staging_bot:erlang:PR:39 .
autogits_obs_staging_bot approved these changes 2025-11-26 18:08:54 +01:00
autogits_obs_staging_bot left a comment
First-time contributor
Copy Link

Build successful

Build successful
This pull request can be merged automatically.
This branch is out-of-date with the base branch
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin PR_gleam#4:PR_gleam#4
git checkout PR_gleam#4
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
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: erlang/_ObsPrj#39
Delete Branch "PR_gleam#4"

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?