Replace push_str when adding a single character
Replace push_str when adding a single character

Clippy recommends using `push` over `push_str` when adding a single
character, because it makes the intent clearer.

jdno/alfred2-gitignore