Skip to content

Use .bash_profile that gets sourced by `bash --login`

Merge request reports