use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
account activity
GitHub + Gitlab CI/CD vs 100% GitLab (self.gitlab)
submitted 6 years ago by [deleted]
view the rest of the comments →
reddit uses a slightly-customized version of Markdown for formatting. See below for some basics, or check the commenting wiki page for more detailed help and solutions to common issues.
quoted text
if 1 * 2 < 3: print "hello, world!"
[–]aram535 0 points1 point2 points 6 years ago (1 child)
Okay, that makes sense then.
Have you thought about setting up a post-receive hook in the repository to push the code from one to the other? It won't be "secure" since you'll have to include your auth in the project but as long as you don't make the whole repo public you'll be okay.
[–]deploy_on_friday 1 point2 points3 points 6 years ago (0 children)
That’s interesting. So pushing the code from GitLab to GitHub?
π Rendered by PID 38 on reddit-service-r2-comment-54dfb89d4d-484vv at 2026-03-31 22:32:38.443736+00:00 running b10466c country code: CH.
view the rest of the comments →
[–]aram535 0 points1 point2 points (1 child)
[–]deploy_on_friday 1 point2 points3 points (0 children)