Follow-up Comment #7, sr #110065 (project administration): Yes, that should work. Gitlab has the notion of "API tokens" but I don't know whether they allow "git push".
_______________________________________________________ Reply to this item at: <https://savannah.nongnu.org/support/?110065> _______________________________________________ Message sent via Savannah https://savannah.nongnu.org/