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