Skip to content

docs: request new repos#1

Open
paullatzelsperger wants to merge 2 commits into
eclipse-dataspace-hub:mainfrom
paullatzelsperger:docs/add_repositories
Open

docs: request new repos#1
paullatzelsperger wants to merge 2 commits into
eclipse-dataspace-hub:mainfrom
paullatzelsperger:docs/add_repositories

Conversation

@paullatzelsperger
Copy link
Copy Markdown
Contributor

request the JAD and MinimumViableDataspace repositories

@eclipse-otterdog
Copy link
Copy Markdown

Thank you for raising a pull request to update the configuration of your GitHub organization.
You can manually add reviewers to this PR to eventually enable auto-merging.

The following conditions need to be fulfilled for auto-merging to be available:

  • valid configuration
  • approved by a project lead
  • does not require any secrets
  • does not update settings only accessible via the GitHub Web UI
  • does not remove any resource
Otterdog commands and options

You can trigger otterdog actions by commenting on this PR:

  • /otterdog team-info checks the team / org membership for the PR author
  • /otterdog validate validates the configuration change
  • /otterdog validate info validates the configuration change, printing also validation infos
  • /otterdog check-sync checks if the base ref is in sync with live settings
  • /otterdog merge merges and applies the changes if the PR is eligible for auto-merging (only accessible for the author)
  • /otterdog done notifies the self-service bot that a required manual apply operation has been performed (only accessible for members of the admin team)
  • /otterdog apply re-apply a previously failed attempt (only accessible for members of the admin team)

@eclipse-otterdog

This comment has been minimized.

@eclipse-otterdog
Copy link
Copy Markdown

The author (paullatzelsperger) of this PR is associated with this organization in the role of MEMBER.

Additionally, paullatzelsperger is a member of the following teams:

@eclipse-otterdog

This comment has been minimized.

@paullatzelsperger paullatzelsperger added the documentation Improvements or additions to documentation label May 13, 2026
@eclipse-otterdog

This comment has been minimized.

@eclipse-otterdog
Copy link
Copy Markdown

Note

The current configuration is out-of-sync with the live settings:

Diff to live settings
Project technology.dataspace-hub[github_id=eclipse-dataspace-hub]

+  add custom_property[name="eclipse_project"] {
+    default_value = "technology.dataspace-hub"
+    description   = "The Eclipse project this repository belongs to."
+    name          = "eclipse_project"
+    required      = true
+    value_type    = "string"
+  }

  
!   repository[name=".eclipsefdn"] {
!     custom_properties                          = {
+      eclipse_project                            = "foundation-internal"
!     }
!     gh_pages_build_type                        = "disabled" -> "workflow"
!     workflows                                  = {
!       actions_can_approve_pull_request_reviews   = true -> false
!     }
!   }
  
  Plan: 1 to add, 3 to change, 0 to delete.

@eclipse-otterdog
Copy link
Copy Markdown

Please find below the validation of the requested configuration changes:

Diff for 2e768d2
Validation failed while evaluating the configuration. Please contact an admin if you believe this is incorrect.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant