251251(system "git switch used-langs " )
252252
253253(slide #:title "Merging back "
254- (termpict
255- "git switch main "
256- "git merge used-langs "
257- "git status " ))
254+ (para
255+ "Merging is also often done via PRs/MRs on GitHub/GitLab/Gitea. "
256+ "Here it's done manually to show the process. " )
257+ (scale
258+ (termpict
259+ "git switch main "
260+ "git merge used-langs "
261+ "git status " )
262+ 0.8 ))
258263
259264(slide #:title "Merge conflicts "
260265 (para "Merging failed because of a conflict: " )
373378 (subitem "Usually the first few paragraphs give a good overview " )
374379 (subitem "You can type '/EXAMPLES' <Enter> for more practical information " )
375380 (item "The repository containing these slides also contains some links to useful resources. " )
376- (subitem "https://github.com/ColonelPhantom/git-workshop " )
381+ (subitem (hyperlinkize (t "https://github.com/ColonelPhantom/git-workshop " )) )
377382 (subitem "For example an interactive tutorial for git branching or some cheat sheets " ))
383+
384+ (slide #:title "Some practice "
385+ (item #:width 1152 "Clone the workshop repository (found at " (hyperlinkize (t "github.com/ColonelPhantom/git-workshop " )) ") " )
386+ (subitem #:width 1152 "It's best to use SSH: run " (tt "ssh-keygen " ) "and add the public key to your GitHub account " )
387+ (subitem #:width 1152 "(We can help with this if necessary) " )
388+ (item #:width 1152 "Create a new branch called " (tt "add-<your-name> " ))
389+ (item #:width 1152 "Add your name and anything else you want " )
390+ (item #:width 1152 "Commit and push the changes " )
391+ (item #:width 1152 "Create a pull request on GitHub " )
392+ (subitem #:width 1152 "The website will tell you how to do this, but again we are available to help " )
393+ (para #:width 1152 "The website " (hyperlinkize (t "learngitbranching.js.org " )) "is highly recommended if you have a bit more time! " ))
394+
395+ (slide #:title "Questions "
396+ (item "Any questions? " )
397+ (item "Any feedback? " ))
0 commit comments