Difference between revisions of "Information for OPL maintainers"
Jump to navigation
Jump to search
Line 51: | Line 51: | ||
− | [[Category:Developers]] [[Category:Authors]] |
+ | [[Category:Developers]] [[Category:Authors]] [[Category:Open_Problem_Library]] |
Revision as of 11:56, 22 May 2020
Here is information for OPL maintainers for fixing bugs. Note, the svn version of the NPL/OPL is closed. All changes should take place in the git repository.
See also Information for OPL Editors.
Fixing a Bug
cd
to your copy of the OPL git repositorygit pull
-- this brings in any changes made to OPL problems- Fix the bug (admittedly, most of the time is spent here)
git commit -a
, and give a useful commit message. In particular, if this is a bug from bugzilla, mention that you fixed the bug with the bug number. Note, this will commit changes to every file you have modified. If you see that more files are going to be committed which you did not intend, leave the commit message blank; it will abort the commit.- Alternatively, if you want to only commit a change to a particular file, first give `git add path/to/file`, and then `git commit`
git push
-- this sends your changes back to github- Mark the bug as fixed in bugzilla with a brief note about the fix
Auxilliary Commands
On your home machine, cd to the OPL git repository. From there you can
git status
-- shows a list of problems which have been modified on your machinegit diff
-- shows diffs for all problems which have been modified on your machine
Initial Setup
This is the longest part, but it only has to be done once. The OPL is kept as a git repository at github. There is a little work to do to get set up, but then committing your bug fixes back to the main repository is fairly easy. Steps in this section only need to be done once.
- Go to github and create an account (if you do not have one already). It is free.
- Contact one of principal OPL maintainers with your github login to have them add you the list of committers
- If you do not have an ssh key (if you have a file ending in ".pub" in your
~/.ssh
directory, you can skip this step), create one with the commandssh-keygen -t rsa
. It will ask you for a passphrase (twice): just hit enter each time. - We make it so you can communicate with github from the command line without passwords. Login to your github account, and
- click on the settings icon (looks like tools near the upper right corner of the page)
- Click "SSH Keys" in the left sidebar
- Click "Add SSH key"
- Click "Add key"
- Give your key a title and paste the contents of your .pub file in the box for the key
- Save, you will need to give your github password
- On your home machine, we now tell git who you are. Give the following two commands
-
git config --global user.name "Firstname Lastname"
(where you use your real name) -
git config --global user.email "me@here.com"
(where you use the e-mail address you used at github)
-
- Now we get a copy of the OPL.
cd
to the directory where you want to put the OPL. Thengit clone git@github.com:openwebwork/webwork-open-problem-library.git
- If you have a recent version of git, it may complain that push.default is unset. This has to do with repositories with multiple branches (which the OPL does not have), so any value is ok. If you have other repositories, pick what is best for them. If in doubt,
git config --global push.default simple
is a reasonable choice.