Skip to content

Add shell ID from git hash + dirty bit; report it in SMI#147

Draft
quetric wants to merge 2 commits into
devfrom
shell_id_register
Draft

Add shell ID from git hash + dirty bit; report it in SMI#147
quetric wants to merge 2 commits into
devfrom
shell_id_register

pep8

5f0b0ce
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar