tips_and_tools - IRS-group/isr_tiago_docs GitHub Wiki Tips and Tools useful SocRob weblinks members initialization checklist (for team leader) git usage blender udev rules robot demos pack list ssh into Harode computer access LRM pre-installed cameras frequently asked questions