Is there introductory documentation somewhere for the user
of a gitea site?

gitea's own site contains instructions for the system
administrator, but not for the user. (unless I've missed it)

And what policies are there within the devuan developers
group?

SHould I just go ahead and edit stuff in the documentation
section?

Is there some policy of reviewing changes?

It's not entirely clear how I should proceed with things like
pulling and pushing changes.

-- hendrik