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