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

Forwarded PRs: gleam #16

Open
autogits-devel wants to merge 1 commits from PR_gleam#3 into master
pull from: PR_gleam#3
merge into: erlang:master
Conversation 2 Commits 1 Files Changed 1 +1 -1
autogits-devel commented 2025-10-11 15:32:01 +02:00
Owner
Copy Link

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

PR: erlang/gleam!3

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!3 ### Automatic merge enabled. This will merge when all review requirements are satisfied.
autogits-devel added 1 commit 2025-10-11 15:32:01 +02:00
auto-created for gleam dd7926a7cf 
This commit was autocreated by AutoGits PR Review Bot

referencing PRs:
 PR: erlang/gleam!3
autogits-devel removed the due date 0001-01-01 2025-10-11 15:32:01 +02:00
autogits-devel requested review from autogits_obs_staging_bot 2025-10-11 15:32:03 +02:00
autogits_obs_staging_bot commented 2025-10-11 15:34:37 +02:00
First-time contributor
Copy Link

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

Build is started in https://build.opensuse.org/project/show/home:autogits_obs_staging_bot:erlang:PR:16 .
autogits_obs_staging_bot requested changes 2025-10-11 15:50:57 +02:00
autogits_obs_staging_bot left a comment
First-time contributor
Copy Link

Build failed

Build failed
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#3:PR_gleam#3
git checkout PR_gleam#3
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#16
Delete Branch "PR_gleam#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?