howto-github understanding github ... pull request User B : Add line User A : Add ... new commit // User B : Old fork