Property definitions

github $ RenameAction :: defaultinit
# A rename action maintains the name before and after a renaming action.
class RenameAction
	serialize

	# Name before renaming.
	var from: String is writable

	# Name after renaming.
	var to: String is writable
end
lib/github/api.nit:1000,1--1009,3