Skip to content

fix: allow dots in usernames for non-GitHub git providers #10860

fix: allow dots in usernames for non-GitHub git providers

fix: allow dots in usernames for non-GitHub git providers #10860

This workflow is awaiting approval from a maintainer in #4343
Triggered via pull request June 24, 2026 01:35
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #4343

lint-code.yml

on: pull_request
pre-commit
pre-commit
Fit to window
Zoom out
Zoom in