Added development things

Merged Stefano Capitani requested to merge github into main

Signed-off-by: Stefano Capitani stefano@manjaro.org

Merge request reports