Skip to content

Import ssh2-rs configuration#2580

Merged
marcoieni merged 1 commit into
rust-lang:mainfrom
Mark-Simulacrum:add-ssh2-rs
Jul 16, 2026
Merged

Import ssh2-rs configuration#2580
marcoieni merged 1 commit into
rust-lang:mainfrom
Mark-Simulacrum:add-ssh2-rs

Conversation

@Mark-Simulacrum

Copy link
Copy Markdown
Member

This is mostly mirroring the current configuration (drops @alexcrichton). I expect that the maintainers may want to setup branch protection, release-plz CI-based publishing, etc. but that can happen in follow-up PRs.

@Kobzol

Kobzol commented Jul 16, 2026

Copy link
Copy Markdown
Member

This repo was caught by the untracked repos workflow (https://github.com/rust-lang/team/actions/runs/29478232060), but I'm not sure if we get any notifications from that? @marcoieni

@marcoieni

marcoieni commented Jul 16, 2026

Copy link
Copy Markdown
Member

validation error: Access for the repo rust-lang/ssh2-rs is invalid: 'crisidev' is not the name of a person in the team repo

I'm not sure if we get any notifications from that?

I didn't get any notification, probably we should setup something, like a zulip integration for example or email notifications 🤔

EDIT: I created #2582

@github-actions

Copy link
Copy Markdown
Dry-run check results

[WARN  rust_team::sync] sync-team is running in dry mode, no changes will be applied.
[INFO  rust_team::sync] synchronizing crates-io
[INFO  rust_team::sync] synchronizing github
[INFO  rust_team::sync] 💻 Repo Diffs:
    📝 Editing repo 'rust-lang/ssh2-rs':
      New homepage: 'http://rust-lang.github.io/ssh2-rs/' => 'https://crates.io/crates/ssh2'
      Enable auto-merge
      Permission Changes:
        Changing team 'cargo''s permission from read to write
        Giving user 'rustbot' write permission
        Giving user 'rust-rfcbot' write permission
        Removing user 'Mark-Simulacrum''s admin permission 
        Removing user 'alexcrichton''s write permission 
      Branch Protections:
          master
            Deleting branch protection
      Environments:
        ❌ Delete: github-pages
      Pages:
        ❌ Delete: legacy branch=gh-pages path=/

@marcoieni

Copy link
Copy Markdown
Member

From the dry run:

Environments:
        ❌ Delete: github-pages
      Pages:
        ❌ Delete: legacy branch=gh-pages path=/

is it ok?

@Mark-Simulacrum

Copy link
Copy Markdown
Member Author

I think those are broken right now anyway and AFAICT only hosted docs (~7 years ago?). docs.rs seems good enough for that to me. I think we can re-add them if the maintainers ask for it.

@Mark-Simulacrum
Mark-Simulacrum added this pull request to the merge queue Jul 16, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jul 16, 2026
@marcoieni
marcoieni added this pull request to the merge queue Jul 16, 2026
@marcoieni

Copy link
Copy Markdown
Member

The CI failed because apparently the team repo cannot unpublish GitHub Pages websites. I unpublished the website myself and I'm trying to merge again.

@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jul 16, 2026
@marcoieni
marcoieni added this pull request to the merge queue Jul 16, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jul 16, 2026
@marcoieni
marcoieni added this pull request to the merge queue Jul 16, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to failed status checks Jul 16, 2026
@marcoieni
marcoieni added this pull request to the merge queue Jul 16, 2026
Merged via the queue into rust-lang:main with commit ac8fe56 Jul 16, 2026
4 checks passed
@marcoieni

Copy link
Copy Markdown
Member

unpublishing GitHub Pages was more complicated then expected. Setting up the branch to None worked 👍

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants