additional topics that can be included in a micro lecture on version control (probably in a separate lecture) include: - branches - issues - pull requests - merging