핑 보내기
triagebot을 사용하면 대응하는 GitHub 팀이 없는 사람들의 팀에 “핑“을 보낼 수 있습니다. 이 기능이 유용한 이유는, 알림을 보낼 수 있는 사람들의 그룹을 유지하고 싶지만 그 그룹의 모든 구성원을 GitHub 조직에 추가하고 싶지는 않은 경우가 있기 때문입니다. 그렇게 하면 그들이 Rust 팀의 구성원이라는 의미가 되기 때문입니다(예를 들어, GitHub가 그들의 이름에 “member” 등의 표시를 붙입니다). 컴파일러 팀은 이 기능을 사용하여 알림 그룹에 연락합니다.
팀에 핑을 보내면 이슈에 메시지를 게시하고 레이블도 추가합니다. 메시지에는 팀의 모든 구성원을 @로 멘션하는 cc 줄이 포함됩니다.
사용법
핑 그룹이 구성된 저장소에서는 모든 Rust 팀 구성원(그리고 트리아지 워킹 그룹인 wg-triage와 wg-async)이 다음과 같은 GitHub 댓글을 작성할 수 있습니다:
@rustbot ping windows
이렇게 하면 triagebot이 windows 핑 그룹의 구성원에게 알리는 댓글을 게시합니다.
핑을 보낼 수 있는 팀
핑을 받으려면 팀이 Rust 팀 저장소에 생성되어 있어야 합니다. 이러한 팀은 흔히 marker-team으로 표시되는데, 이는 웹사이트에 나타나지 않는다는 뜻입니다. WASM 팀이 그 예입니다.
또한 해당 팀은 저장소의 triagebot.toml 파일에도 설정되어 있어야 합니다.
설정
팀(예: TeamName)에 핑을 보낼 수 있게 하려면, 다음과 같이 저장소 루트에 있는 triagebot.toml 파일에 섹션을 추가해야 합니다:
[ping.TeamName]
message = """\
Put your message here. It will be added as a Github comment,
so it can include Markdown and other markup.
"""
label = "help wanted"
이 설정은 지정된 메시지를 게시하고 이슈에 help wanted 레이블도 추가합니다.
별칭을 정의하여 동일한 대상 팀을 가리키는 추가 레이블을 더할 수도 있습니다. 별칭은 기억하기 쉬운 레이블을 추가하거나 사소한 철자 오류(“llvm” 대신 “llvms” 등)를 수용하는 데 유용할 수 있습니다. 다음 예시를 참고하십시오:
[ping.cleanup-crew]
alias = ["cleanup", "cleanups", "shrink", "reduce", "bisect"]
message = """\
message content...
"""
이렇게 하면 @rustbot ping cleanup-crew 명령을 모든 별칭 변형으로도 인식할 수 있습니다. 예:
@rustbot ping cleanup
@rustbot ping shrink
...
최신 예시는 rust-lang/rust 설정을 확인하십시오.