Learn more about these different git repos.
Other Git URLs
08df3cc
Don't depend on getline(), in case it isn't there Use a getline() substitute, since getline() itself might not always be present and declared.