or
or
By clicking below, you agree to our terms of service.
New to HackMD? Sign up
Syntax | Example | Reference | |
---|---|---|---|
# Header | Header | 基本排版 | |
- Unordered List |
|
||
1. Ordered List |
|
||
- [ ] Todo List |
|
||
> Blockquote | Blockquote |
||
**Bold font** | Bold font | ||
*Italics font* | Italics font | ||
~~Strikethrough~~ | |||
19^th^ | 19th | ||
H~2~O | H2O | ||
++Inserted text++ | Inserted text | ||
==Marked text== | Marked text | ||
[link text](https:// "title") | Link | ||
 | Image | ||
`Code` | Code |
在筆記中貼入程式碼 | |
```javascript var i = 0; ``` |
|
||
:smile: | ![]() |
Emoji list | |
{%youtube youtube_id %} | Externals | ||
$L^aT_eX$ | LaTeX | ||
:::info This is a alert area. ::: |
This is a alert area. |
On a scale of 0-10, how likely is it that you would recommend HackMD to your friends, family or business associates?
Please give us some advice and help us improve HackMD.
Do you want to remove this version name and description?
Syncing
xxxxxxxxxx
homu
rewriteThe Rust BORS clone
homu
is crucial to the daily development of Rust infrastructure (compiler, miri, clippy etc.).Sadly, the code of
homu
is quite old and messy, it is currently basically unmaintainable and it is very difficult to implement new features for it.It also probably contains a lot of legacy code for CI systems that aren't used anymore (e.g. Travis).
It would be nice if we could rewrite
homu
(preferably in Rust), with the following goals:homu
.What does
homu
do?First, it would be nice to document what does
homu
do at its current state:homu
provides a web server.What do we want to keep/change?
Alternatives to a full rewrite
Use existing tools:
rustc
developers for maintenance.homu
. Compare: https://bors.tech/documentation/ vs https://bors.rust-lang.org/. Things liketreeclosed
seem to be missing. We could add them, but the tool is used by a lot of users and it's unclear whether we could fit its needs (and get our changes in) for the specific use cases of rustc (clippy, miri, …) projects.If we adapt an existing tool, we would probably either need to fork it to add commands that are currently offered by
homu
, or generalize it enough so that we can add custom commands to it.There seem to be two ways forward:
homu
in Rust (while potentially taking some code frombors-rs
).More detailed comparison of
homu
vsbors-ng
commandsNote: aliases (like
r+
vsmerge
) are not included, only commands thatdiffer semantically.
homu
bors-ng
r+
r+
r+ <SHA>
r+ p=<prio>
r+ p=<prio>
r=<name>
r=<list of names>
name
(s), merger-
r-
p=<prio>
p=<prio>
try
try
try-
delegate+
delegate+
delegate=<name>
delegate=<list of names>
delegate-
rollup=never
single on
rollup=always
single off
rollup=iffy
iffy
rolluprollup=maybe
maybe
rolluprollup-
squash
squash-
force
treeclosed=<prio>
<prio>
treeclosed-
clean
retry
retry
There are also some other debug/maintenance commands like
ping
.