While we usually merge branches into master, more precise wording should
be used. After all, this is a learning tool.