github :: PullComment :: _original_position
# Original position in the diff. var original_position: Int is writable